Searched refs:replacePredecessor (Results 1 – 4 of 4) sorted by relevance
173 succ->replacePredecessor(pred); in collectNode()
241 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor() function
268 public void replacePredecessor(BasicBlock block, BasicBlock newBlock) { in replacePredecessor() method in BasicBlock1041 successor.replacePredecessor(this, newBlock); in createSplitBlock()
1958 fallthrough.replacePredecessor(current, newFallthrough);