diff options
| author | Pavel Labath <labath@google.com> | 2013-07-17 08:33:58 +0000 |
|---|---|---|
| committer | Pavel Labath <labath@google.com> | 2013-07-17 08:33:58 +0000 |
| commit | 9ced602cc67e33e7e6136325f1503037ace2b1a6 (patch) | |
| tree | 97bc4481890be6898960dd27db763cb47718839b /clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | |
| parent | c2e4e95580e37ff09b61833ba7c55ed9a3ffd80f (diff) | |
| download | bcm5719-llvm-9ced602cc67e33e7e6136325f1503037ace2b1a6.tar.gz bcm5719-llvm-9ced602cc67e33e7e6136325f1503037ace2b1a6.zip | |
[analyzer] Add very limited support for temporary destructors
Summary:
This patch enables ExprEndgine to reason about temporary object destructors.
However, these destructor calls are never inlined, since this feature is still
broken. Still, this is sufficient to properly handle noreturn temporary
destructors and close bug #15599. I have also enabled the cfg-temporary-dtors
analyzer option by default.
Reviewers: jordan_rose
CC: cfe-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1131
llvm-svn: 186498
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 9dcf58babd2..93b620410bc 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 = */ false); + /* Default = */ true); } bool AnalyzerOptions::mayInlineCXXStandardLibrary() { |
