diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-03-05 21:15:02 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-03-05 21:15:02 +0000 |
| commit | 4bf38da038cebf9396470630c3c39519e41706da (patch) | |
| tree | fdd21e93cfaa537c06638b686feb5667ec114542 /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
| parent | 1aa9a58822597427814ba08df4db8a673f57eb34 (diff) | |
Fixed bug that could case unwanted bifurcation of states when evaluating calls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47964 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index c1dc2224f8..65936399b3 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -389,6 +389,8 @@ public: inline unsigned size() const { return Impl.size(); } inline bool empty() const { return Impl.empty(); } + + inline void clear() { Impl.clear(); } inline iterator begin() { return Impl.begin(); } inline iterator end() { return Impl.end(); } |