Lines Matching defs:NewState

1149   ProgramStateRef NewState = Pred->getState();
1152     NewState = processLoopEnd(S, NewState);
1155   Bldr.generateNode(PP, NewState, Pred);
2153           ProgramStateRef NewState =
2155           if (NewState != State) {
2156             Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
2525       ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(),
2527       if (NewState != Pred->getState()) {
2528         ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred);