979   ProgramStateRef NewState = State;  in checkPreCall()  local
982     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);  in checkPreCall()
984         Constraint->negate()->apply(NewState, Call, Summary, C);  in checkPreCall()
987       if (ExplodedNode *N = C.generateErrorNode(NewState, NewNode))  in checkPreCall()
996     NewState = SuccessSt;  in checkPreCall()
997     if (NewState != State) {  in checkPreCall()
1001                                   NewState, Summary);  in checkPreCall()
1004           NewState, NewNode,  in checkPreCall()
1027     ProgramStateRef NewState = State;  in checkPostCall()  local
1029       NewState = Constraint->apply(NewState, Call, Summary, C);  in checkPostCall()
1030       if (!NewState)  in checkPostCall()
1034     if (NewState)  in checkPostCall()
1035       NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);  in checkPostCall()
1037     if (NewState && NewState != State) {  in checkPostCall()
1042         C.addTransition(NewState, NT);  in checkPostCall()
1053         C.addTransition(NewState, Tag);  in checkPostCall()
1055     } else if (NewState == State) {  in checkPostCall()
1064           C.addTransition(NewState, NT);  in checkPostCall()