Lines Matching refs:NewState
806 ProgramStateRef NewState = Pred->getState();
809 NewState = processLoopEnd(S, NewState);
812 Bldr.generateNode(PP, NewState, Pred);
1585 ProgramStateRef NewState =
1587 if (NewState != State) {
1588 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1932 ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(),
1934 if (NewState != Pred->getState()) {
1935 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred);