Home | History | Annotate | Download | only in Checkers

Lines Matching refs:NewNode

2893   ExplodedNode *NewNode;
2895     NewNode = C.getPredecessor();
2897     NewNode = C.addTransition(state);
2901   if (NewNode) {
2907     SummaryLog[NewNode] = &Summ;