diff options
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExplodedGraph.cpp b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp index a44c28341b..2210b4e2d7 100644 --- a/lib/StaticAnalyzer/Core/ExplodedGraph.cpp +++ b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp @@ -110,7 +110,7 @@ bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { // analysis history and are not consulted by any client code. ProgramPoint progPoint = node->getLocation(); if (progPoint.getAs<PreStmtPurgeDeadSymbols>()) - return true; + return !progPoint.getTag(); // Condition 3. if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) |