Lines Matching refs:NewState
806 ProgramStateRef NewState = Pred->getState();
809 NewState = processLoopEnd(S, NewState);
812 Bldr.generateNode(PP, NewState, Pred);
1597 ProgramStateRef NewState =
1599 if (NewState != State) {
1600 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1969 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(),
1971 if (NewState != Pred->getState()) {
1972 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred);