[PATCH] D43497: [analyzer] Introduce correct lifetime extension behavior in simple cases.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 135186.
NoQ added a comment.

Add one more FIXME test (`dont_forget_destructor_around_logical_op` in `temporaries.cpp`) which demonstrates a situation where we fail to call the temporary destructor after calling the temporary constructor. It should be fixed once we implement return value construction properly, as described at the "Return by value" part of http://lists.llvm.org/pipermail/cfe-dev/2018-February/056898.html


https://reviews.llvm.org/D43497

Files:
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  test/Analysis/lifetime-extension.cpp
  test/Analysis/temporaries.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43497.135186.patch
Type: text/x-patch
Size: 19169 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180221/6bc0d85e/attachment-0001.bin>