diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-02-27 01:26:58 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-02-27 01:26:58 +0000 |
| commit | b7a3f74bbb02788ad1b597fe3897db2d8a4fed43 (patch) | |
| tree | 2a3466cb51ae2e5e1406cfa3b2efd4b4f7b69fc8 /lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
| parent | 1ebefc72e80cc880be376a8704e6936d2746cb35 (diff) | |
[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLVM codebase.
This potentially reduces a performance optimization of throwing away
PreStmtPurgeDeadSymbols nodes. I'll investigate the performance impact
soon and see if we need something better.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@176149 91177308-0d34-0410-b5e6-96231b3b80d8
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>()) |