projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7f53df) | patch
[analyzer] Disable constructor inlining when lifetime extending through a field.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 27 Feb 2018 20:14:06 +0000 (20:14 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 27 Feb 2018 20:14:06 +0000 (20:14 +0000)
commit8cd7961a0af7914345ba9ab8583e7fe7b7367b47
treec72a8a41b37b752231aa5d633cf2fcd492f090catree | snapshot
parentb7f53df0c2b5f33e562de876f51a18eace0b4997commit | diff
[analyzer] Disable constructor inlining when lifetime extending through a field.

Automatic destructors are missing in the CFG in situations like

  const int &x = C().x;

For now it's better to disable construction inlining, because inlining
constructors while doing nothing on destructors is very bad.

Differential Revision: https://reviews.llvm.org/D43689

llvm-svn: 326240
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp diff | blob | history
clang/test/Analysis/lifetime-extension.cpp diff | blob | history
Domain: System / Toolchain;