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 | f352d8c7ec174b38aa7e0775c7b4ca6c0158cae8 (patch) | |
tree | aa125abcbd46b2c929ed21285c00f67fd812cef0 /clang | |
parent | ddee8c9e2be901d90149c1ccc1804b6765fcc794 (diff) | |
download | bcm5719-llvm-f352d8c7ec174b38aa7e0775c7b4ca6c0158cae8.tar.gz bcm5719-llvm-f352d8c7ec174b38aa7e0775c7b4ca6c0158cae8.zip |
[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.
llvm-svn: 176149
Diffstat (limited to 'clang')
-rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp b/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp index a44c28341bf..2210b4e2d76 100644 --- a/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp +++ b/clang/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>()) |