diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-03-22 21:15:33 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-03-22 21:15:33 +0000 |
| commit | 25fac2f6dc4daa98f89b1581552cc3e8b185f2d4 (patch) | |
| tree | 071feb9549bb1a5bb68667c0026d95af2ba4f197 /clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |
| parent | f342adef4760761c93c1018004dd2da5d133a56d (diff) | |
| download | bcm5719-llvm-25fac2f6dc4daa98f89b1581552cc3e8b185f2d4.tar.gz bcm5719-llvm-25fac2f6dc4daa98f89b1581552cc3e8b185f2d4.zip | |
Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."
The algorithm used here was ridiculously slow when a potential back-edge
pointed to a node that already had a lot of successors. The previous commit
makes this feature unnecessary anyway.
This reverts r177468 / f4cf6b10f863b9bc716a09b2b2a8c497dcc6aa9b.
Conflicts:
lib/StaticAnalyzer/Core/BugReporter.cpp
llvm-svn: 177765
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BugReporter.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BugReporter.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp index ab80d9e8ac7..8f8eb3bb850 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -1936,8 +1936,7 @@ TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, // The trimmed graph is created in the body of the constructor to ensure // that the DenseMaps have been initialized already. InterExplodedGraphMap ForwardMap; - G.reset(OriginalGraph->trim(Nodes, /*BreakCycles=*/false, - &ForwardMap, &InverseMap)); + G.reset(OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap)); // Find the (first) error node in the trimmed graph. We just need to consult // the node map which maps from nodes in the original graph to nodes |
