diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-24 18:25:53 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-24 18:25:53 +0000 |
| commit | 1aae01a8308d2f8e31adab3f4d7ac35543aac680 (patch) | |
| tree | 81807c40f9fd0a60caa539fe85407d69c6b6760f /include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h | |
| parent | fe9b2a84105b898b48a2935d50d209c880f36aa3 (diff) | |
[analyzer] Pass external Dst set to NodeBuilder
This moves the responsibility for storing the output node set from the
builder to the clients. The builder is just responsible for transforming
an input set into the output set: {SrcSet/SrcNode} -> {Frontier}.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142826 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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h index 43700f8f3f..258fbeb952 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h @@ -386,6 +386,7 @@ public: unsigned size() const { return Impl.size(); } bool empty() const { return Impl.empty(); } + bool erase(ExplodedNode *N) { return Impl.erase(N); } void clear() { Impl.clear(); } void insert(const ExplodedNodeSet &S) { |