diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-07-23 02:15:11 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-07-23 02:15:11 +0000 |
| commit | 7b982b30c0f24b8c937dfbcc5317a0e8c0b9bdbc (patch) | |
| tree | 65ed98665c2e8d3f068fa61077fddd19f6c449e8 /clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | |
| parent | db90f65bbe8bb490f9f3dd526af58e2c70aa3c97 (diff) | |
| download | bcm5719-llvm-7b982b30c0f24b8c937dfbcc5317a0e8c0b9bdbc.tar.gz bcm5719-llvm-7b982b30c0f24b8c937dfbcc5317a0e8c0b9bdbc.zip | |
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.
llvm-svn: 186925
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp index 93b620410bc..9dcf58babd2 100644 --- a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp +++ b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp @@ -119,7 +119,7 @@ bool AnalyzerOptions::getBooleanOption(Optional<bool> &V, StringRef Name, bool AnalyzerOptions::includeTemporaryDtorsInCFG() { return getBooleanOption(IncludeTemporaryDtorsInCFG, "cfg-temporary-dtors", - /* Default = */ true); + /* Default = */ false); } bool AnalyzerOptions::mayInlineCXXStandardLibrary() { |
