972   ProgramStateRef NewState = State;  in checkPreCall()  local
974     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);  in checkPreCall()
976         Constraint->negate()->apply(NewState, Call, Summary, C);  in checkPreCall()
979       if (ExplodedNode *N = C.generateErrorNode(NewState))  in checkPreCall()
988       NewState = SuccessSt;  in checkPreCall()
991   if (NewState && NewState != State)  in checkPreCall()
992     C.addTransition(NewState);  in checkPreCall()
1008     ProgramStateRef NewState = State;  in checkPostCall()  local
1010       NewState = Constraint->apply(NewState, Call, Summary, C);  in checkPostCall()
1011       if (!NewState)  in checkPostCall()
1015     if (NewState)  in checkPostCall()
1016       NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);  in checkPostCall()
1018     if (NewState && NewState != State) {  in checkPostCall()
1024           C.addTransition(NewState);  in checkPostCall()
1026           C.addTransition(NewState, errno_modeling::getErrnoNoteTag(C, Note));  in checkPostCall()
1037         C.addTransition(NewState, Tag);  in checkPostCall()