<div dir="ltr">This time it's hopefully more understandable and correct - I also added a regression test that would fail with my previous non-solution.<div><br></div><div>And keep the test cases coming ;) I think we can use some more...</div>
<div><br></div><div>Cheers,</div><div>/Manuel<br><div><br></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 28, 2014 at 9:38 PM, Manuel Klimek <span dir="ltr"><<a href="mailto:klimek@google.com" target="_blank">klimek@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Another try at solving the temporary destructor CFG.<br>
<div class="HOEnZb"><div class="h5"><br>
<a href="http://reviews.llvm.org/D3627" target="_blank">http://reviews.llvm.org/D3627</a><br>
<br>
Files:<br>
  include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h<br>
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h<br>
  include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h<br>
  lib/Analysis/CFG.cpp<br>
  lib/StaticAnalyzer/Core/CoreEngine.cpp<br>
  lib/StaticAnalyzer/Core/ExprEngine.cpp<br>
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp<br>
  test/Analysis/temp-obj-dtors-cfg-output.cpp<br>
  test/Analysis/temporaries.cpp<br>
</div></div></blockquote></div><br></div>