diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index 71043f0ef6..c85d1e9107 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/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: |