From 661ab34a3157150a3b07c06e968e7b6737627e38 Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Thu, 15 Feb 2018 19:17:44 +0000 Subject: [analyzer] Compute the correct this-region for temporary destructors. Inline them if possible - a separate flag is added to control this. The whole thing is under the cfg-temporary-dtors flag, off by default so far. Temporary destructors are called at the end of full-expression. If the temporary is lifetime-extended, automatic destructors kick in instead, which are not addressed in this patch, and normally already work well modulo the overally broken support for lifetime extension. The patch operates by attaching the this-region to the CXXBindTemporaryExpr in the program state, and then recalling it during destruction that was triggered by that CXXBindTemporaryExpr. It has become possible because CXXBindTemporaryExpr is part of the construction context since r325210. Differential revision: https://reviews.llvm.org/D43104 llvm-svn: 325282 --- clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp') diff --git a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp index aa3c2953d81..49533d42b7c 100644 --- a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp +++ b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp @@ -246,6 +246,11 @@ bool AnalyzerOptions::mayInlineCXXSharedPtrDtor() { /*Default=*/false); } +bool AnalyzerOptions::mayInlineCXXTemporaryDtors() { + return getBooleanOption(InlineCXXTemporaryDtors, + "c++-temp-dtor-inlining", + /*Default=*/true); +} bool AnalyzerOptions::mayInlineObjCMethod() { return getBooleanOption(ObjCInliningMode, -- cgit v1.2.3