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 | 0f3a34fb7fea37ebfbcba8b400ccb697b9559b49 (patch) | |
tree | 8be62a235533b3ac7d725f5801694d9bdd65fcaf /include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h | |
parent | 228094a28f81ddba94427239dea5c6e59ff6aabc (diff) | |
download | clang-0f3a34fb7fea37ebfbcba8b400ccb697b9559b49.tar.gz |
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
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177765 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h')
-rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h index 208c12bd74..5211916407 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h @@ -363,16 +363,12 @@ public: /// /// \param Nodes The nodes which must appear in the final graph. Presumably /// these are end-of-path nodes (i.e. they have no successors). - /// \param BreakCycles Whether or not the trimmed graph should make an effort - /// to eliminate cycles. Note that this may result in some - /// unnecessary nodes being included in the final graph - /// (i.e. nodes that would have only appeared in a cycle). /// \param[out] ForwardMap A optional map from nodes in this graph to nodes in /// the returned graph. /// \param[out] InverseMap An optional map from nodes in the returned graph to /// nodes in this graph. /// \returns The trimmed graph - ExplodedGraph *trim(ArrayRef<const NodeTy *> Nodes, bool BreakCycles = false, + ExplodedGraph *trim(ArrayRef<const NodeTy *> Nodes, InterExplodedGraphMap *ForwardMap = 0, InterExplodedGraphMap *InverseMap = 0) const; |