summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/lifetime-cfg-output.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Enable cfg-temporary-dtors by default.Artem Dergachev2018-03-011-1/+1
| | | | | | | | | | | | Don't enable c++-temp-dtor-inlining by default yet, due to this reference counting pointe problem. Otherwise the new mode seems stable and allows us to incrementally fix C++ problems in much less hacky ways. Differential Revision: https://reviews.llvm.org/D43804 llvm-svn: 326461
* [CFG] Add construction context for simple variable declarations.Artem Dergachev2018-02-101-1/+1
| | | | | | | | | Constructors of simple variables now can be queried to discover that they're constructing into simple variables. Differential Revision: https://reviews.llvm.org/D42699 llvm-svn: 324794
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-121-0/+783
Summary: This mimics the implementation for the implicit destructors. The generation of this scope leaving elements is hidden behind a flag to the CFGBuilder, thus it should not affect existing code. Currently, I'm missing a test (it's implicitly tested by the clang-tidy lifetime checker that I'm proposing). I though about a test using debug.DumpCFG, but then I would have to add an option to StaticAnalyzer/Core/AnalyzerOptions to enable the scope leaving CFGElement, which would only be useful to that particular test. Any other ideas how I could make a test for this feature? Reviewers: krememek, jordan_rose Subscribers: cfe-commits Differential Revision: http://reviews.llvm.org/D15031 llvm-svn: 307759
OpenPOWER on IntegriCloud