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