Lines Matching refs:NewState
812 ProgramStateRef NewState = State;
814 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);
816 Constraint->negate()->apply(NewState, Call, Summary, C);
819 if (ExplodedNode *N = C.generateErrorNode(NewState))
828 NewState = SuccessSt;
831 if (NewState && NewState != State)
832 C.addTransition(NewState);
847 ProgramStateRef NewState = State;
849 NewState = Constraint->apply(NewState, Call, Summary, C);
850 if (!NewState)
854 if (NewState && NewState != State)
855 C.addTransition(NewState);