]> granicus.if.org Git - clang/commit
[analyzer] Look through temporary destructors when finding a region to construct.
authorJordan Rose <jordan_rose@apple.com>
Sat, 5 Apr 2014 02:01:41 +0000 (02:01 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 5 Apr 2014 02:01:41 +0000 (02:01 +0000)
commitbb4f59b433303d861cd9f52ce84dded86e734078
tree71de5ff794b29e91d061bfa71a210da16c57a7a4
parent1c3262a3c8beb9779c9195273f674e7b43889b12
[analyzer] Look through temporary destructors when finding a region to construct.

Fixes a false positive when temporary destructors are enabled where a temporary
is destroyed after a variable is constructed but before the VarDecl itself is
processed, which occurs when the variable is in the condition of an if or while.

Patch by Alex McCarthy, with an extra test from me.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@205661 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
test/Analysis/dtor.cpp