[PATCH] Proposal on how to fix temporary dtors.

[Manuel Klimek]

FYI, note that this test would fail miserably at trunk, too..


On Wed, May 28, 2014 at 3:03 PM, Manuel Klimek <klimek at google.com> wrote:

> Do not recursively visit lambdas for temporaries. This fixes the CFG, but
> does
> not yet fix what we can reach.
>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140528/58276d1d/attachment.html>