1319   ProgramStateRef NewState = State;  in checkPreCall()  local
1323     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);  in checkPreCall()
1325         NegatedConstraint->apply(NewState, Call, Summary, C);  in checkPreCall()
1338     NewState = SuccessSt;  in checkPreCall()
1339     if (NewState != State) {  in checkPreCall()
1347       Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary,  in checkPreCall()
1351           NewState, NewNode,  in checkPreCall()
1374     ProgramStateRef NewState = State;  in checkPostCall()  local
1376       NewState = Constraint->apply(NewState, Call, Summary, C);  in checkPostCall()
1377       if (!NewState)  in checkPostCall()
1381     if (NewState)  in checkPostCall()
1382       NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);  in checkPostCall()
1384     if (!NewState)  in checkPostCall()
1428         Pred = C.addTransition(NewState, Pred, Tag);  in checkPostCall()
1456         Pred = C.addTransition(NewState, Pred, Tag);  in checkPostCall()
1461     if (Pred == Node && NewState != State)  in checkPostCall()
1462       C.addTransition(NewState);  in checkPostCall()