Lines Matching defs:NewState

1319   ProgramStateRef NewState = State;
1323     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);
1325         NegatedConstraint->apply(NewState, Call, Summary, C);
1338     NewState = SuccessSt;
1339     if (NewState != State) {
1347       Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary,
1351           NewState, NewNode,
1374     ProgramStateRef NewState = State;
1376       NewState = Constraint->apply(NewState, Call, Summary, C);
1377       if (!NewState)
1381     if (NewState)
1382       NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);
1384     if (!NewState)
1387     // Here it's possible that NewState == State, e.g. when other checkers
1431         Pred = C.addTransition(NewState, Pred, Tag);
1459         Pred = C.addTransition(NewState, Pred, Tag);
1464     if (Pred == Node && NewState != State)
1465       C.addTransition(NewState);