a.sidorin added a comment.
This patch still depends on scope implementation in CFG. There is no final
implementation; after initial implementation is done, I'll update the patch.
https://reviews.llvm.org/D19979
___
cfe-commits mailing list
cfe-comm
xazax.hun added a comment.
What is the status of this?
Aleksei, could you upload a new patch with the context available?
(And also with a testcase added for jumps/gotos and VLA.)
You modified the malloc checker but I did not see a test for that.
https://reviews.llvm.org/D19979
__
a.sidorin added a comment.
Hm. A pretty nice example. But we should check if the initial patch supports
`goto`s; afair, it doesn't.
https://reviews.llvm.org/D19979
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bi
NoQ added a comment.
https://llvm.org/bugs/show_bug.cgi?id=28450
^Another impressing test case for variable scopes, which should ideally be
fixed by scope contexts, even though i doubt this patch (or the CFG patch)
addresses this issue. Variable-length arrays might actually mess up things
quite
dcoughlin added a comment.
This has been requested by PR29069 https://llvm.org/bugs/show_bug.cgi?id=29069
https://reviews.llvm.org/D19979
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-comm
a.sidorin created this revision.
a.sidorin added reviewers: zaks.anna, dcoughlin, bshastry.
a.sidorin added a subscriber: cfe-commits.
This patch enables ScopeContext to track variable lifetime. It is RFC mostly
since the work on its dependencies is still not finished and it lacks some
tests.
Pr