diff options
| author | Roman Divacky <rdivacky@FreeBSD.org> | 2009-12-01 11:08:04 +0000 |
|---|---|---|
| committer | Roman Divacky <rdivacky@FreeBSD.org> | 2009-12-01 11:08:04 +0000 |
| commit | 1569ce68681d909594d64f9b056d71f5dd7563bf (patch) | |
| tree | 867cbbe32a66fd7d62dd9ce9df23a23fefdb8290 /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
| parent | f5bd02d290ff15268853e0456c130a1afa15e907 (diff) | |
Notes
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index a7bbdf939f87..76cab1ddc127 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -352,10 +352,16 @@ public: typedef ImplTy::iterator iterator; typedef ImplTy::const_iterator const_iterator; - inline unsigned size() const { return Impl.size(); } - inline bool empty() const { return Impl.empty(); } - - inline void clear() { Impl.clear(); } + unsigned size() const { return Impl.size(); } + bool empty() const { return Impl.empty(); } + + void clear() { Impl.clear(); } + void insert(const ExplodedNodeSet &S) { + if (empty()) + Impl = S.Impl; + else + Impl.insert(S.begin(), S.end()); + } inline iterator begin() { return Impl.begin(); } inline iterator end() { return Impl.end(); } |
