From 6a15f39a6bfd7a30085c5fa8f67d0b64b74b132a Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Fri, 15 Mar 2013 21:41:46 +0000 Subject: [analyzer] Look through ExprWhenCleanups when trying to track a NULL. Silences a few false positives in LLVM. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177186 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/StaticAnalyzer/Core/BugReporterVisitors.cpp') diff --git a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp index 8cd3eecf2b..bf616b1d26 100644 --- a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp +++ b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp @@ -778,7 +778,8 @@ bool bugreporter::trackNullOrUndefValue(const ExplodedNode *N, if (!S || !N) return false; - // Peel off OpaqueValueExpr. + if (const ExprWithCleanups *EWC = dyn_cast(S)) + S = EWC->getSubExpr(); if (const OpaqueValueExpr *OVE = dyn_cast(S)) S = OVE->getSourceExpr(); -- cgit v1.2.3-18-g5258