/// 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:
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);