This time it's hopefully more understandable and correct - I also added a regression test that would fail with my previous non-solution.
And keep the test cases coming ;) I think we can use some more... Cheers, /Manuel On Wed, May 28, 2014 at 9:38 PM, Manuel Klimek <[email protected]> wrote: > Another try at solving the temporary destructor CFG. > > http://reviews.llvm.org/D3627 > > Files: > include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h > include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h > include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h > lib/Analysis/CFG.cpp > lib/StaticAnalyzer/Core/CoreEngine.cpp > lib/StaticAnalyzer/Core/ExprEngine.cpp > lib/StaticAnalyzer/Core/ExprEngineCXX.cpp > test/Analysis/temp-obj-dtors-cfg-output.cpp > test/Analysis/temporaries.cpp >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
