r182425 - [analyzer; alternated edges] look through expressions just like Environment does.

Ted Kremenek kremenek at apple.com
Tue May 21 14:38:03 PDT 2013


Author: kremenek
Date: Tue May 21 16:38:02 2013
New Revision: 182425

URL: http://llvm.org/viewvc/llvm-project?rev=182425&view=rev
Log:
[analyzer; alternated edges] look through expressions just like Environment does.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp?rev=182425&r1=182424&r2=182425&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Tue May 21 16:38:02 2013
@@ -1838,7 +1838,9 @@ const Stmt *getStmtParent(const Stmt *S,
     if (!S)
       break;
 
-    if (isa<ExprWithCleanups>(S))
+    if (isa<ExprWithCleanups>(S) ||
+        isa<CXXBindTemporaryExpr>(S) ||
+        isa<SubstNonTypeTemplateParmExpr>(S))
       continue;
 
     break;





More information about the cfe-commits mailing list