Searched refs:replaceNode (Results 1 – 6 of 6) sorted by relevance
103 void replaceNode(ExplodedNode *node);240 void replaceSuccessor(ExplodedNode *node) { Succs.replaceNode(node); } in replaceSuccessor()241 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor()
113 void replaceNode(ExplodedNode *node);297 void replaceSuccessor(ExplodedNode *node) { Succs.replaceNode(node); } in replaceSuccessor()298 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); } in replacePredecessor()
227 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode() function in ExplodedNode::NodeGroup
211 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode() function in ExplodedNode::NodeGroup
1624 (Kasimier), leak in tree reported by Malcolm Rowe, replaceNode patch
4245 * tree.c: applied patch for replaceNode from Brent Hendricks