diff options
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h | 6 | ||||
| -rw-r--r-- | clang/lib/Analysis/ExplodedGraph.cpp | 6 |
2 files changed, 7 insertions, 5 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h index 71043f0ef67..c85d1e9107a 100644 --- a/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -110,11 +110,7 @@ protected: /// addPredeccessor - Adds a predecessor to the current node, and /// in tandem add this node as a successor of the other node. - void addPredecessor(ExplodedNodeImpl* V) { - assert (!V->isSink()); - Preds.addNode(V); - V->Succs.addNode(this); - } + void addPredecessor(ExplodedNodeImpl* V); public: diff --git a/clang/lib/Analysis/ExplodedGraph.cpp b/clang/lib/Analysis/ExplodedGraph.cpp index 95904cd3878..0835944250f 100644 --- a/clang/lib/Analysis/ExplodedGraph.cpp +++ b/clang/lib/Analysis/ExplodedGraph.cpp @@ -27,6 +27,12 @@ static inline std::vector<ExplodedNodeImpl*>& getVector(void* P) { return *reinterpret_cast<std::vector<ExplodedNodeImpl*>*>(P); } +void ExplodedNodeImpl::addPredecessor(ExplodedNodeImpl* V) { + assert (!V->isSink()); + Preds.addNode(V); + V->Succs.addNode(this); +} + void ExplodedNodeImpl::NodeGroup::addNode(ExplodedNodeImpl* N) { assert ((reinterpret_cast<uintptr_t>(N) & Mask) == 0x0); |

