[PATCH] Proposal on how to fix temporary dtors.

[Manuel Klimek]

And one more update: apparently we have to at least visit the captures for
by-value captures (just like VisitLambda does, I should have looked there
in the first place ;)


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

> 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/74ac6b90/attachment.html>