]> granicus.if.org Git - clang/commit
Revert "[analyzer] Add very limited support for temporary destructors"
authorJordan Rose <jordan_rose@apple.com>
Tue, 23 Jul 2013 02:15:11 +0000 (02:15 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 23 Jul 2013 02:15:11 +0000 (02:15 +0000)
commit9815ec0a00fe04db92e51a4160fc905f6cd48f30
treefa0a8072af0f1984b08123268930fe57d01345a1
parente6c8afcf449728a5096834393fc4a1acfad9b49d
Revert "[analyzer] Add very limited support for temporary destructors"

The analyzer doesn't currently expect CFG blocks with terminators to be
empty, but this can happen when generating conditional destructors for
a complex logical expression, such as (a && (b || Temp{})). Moreover,
the branch conditions for these expressions are not persisted in the
state. Even for handling noreturn destructors this needs more work.

This reverts r186498.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@186925 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/analyzer-config.c
test/Analysis/analyzer-config.cpp
test/Analysis/dtor.cpp
test/Analysis/temp-obj-dtors-cfg-output.cpp