29   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
34   static void evalSetErrno(CheckerContext &C, const CallEvent &Call);
37   static void evalGetErrno(CheckerContext &C, const CallEvent &Call);
43   static void evalSetErrnoIfError(CheckerContext &C, const CallEvent &Call);
47   static void evalSetErrnoIfErrorRange(CheckerContext &C,
68   static void evalSetErrnoCheckState(CheckerContext &C, const CallEvent &Call);
84 void ErrnoTesterChecker::evalSetErrno(CheckerContext &C,  in evalSetErrno()  argument
86   C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(),  in evalSetErrno()
90 void ErrnoTesterChecker::evalGetErrno(CheckerContext &C,  in evalGetErrno()  argument
92   ProgramStateRef State = C.getState();  in evalGetErrno()
97       State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal);  in evalGetErrno()
99   C.addTransition(State);  in evalGetErrno()
102 void ErrnoTesterChecker::evalSetErrnoIfError(CheckerContext &C,  in evalSetErrnoIfError()  argument
104   ProgramStateRef State = C.getState();  in evalSetErrnoIfError()
105   SValBuilder &SVB = C.getSValBuilder();  in evalSetErrnoIfError()
108       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoIfError()
112       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoIfError()
113   StateFailure = setErrnoValue(StateFailure, C, 11, Irrelevant);  in evalSetErrnoIfError()
115   C.addTransition(StateSuccess);  in evalSetErrnoIfError()
116   C.addTransition(StateFailure);  in evalSetErrnoIfError()
119 void ErrnoTesterChecker::evalSetErrnoIfErrorRange(CheckerContext &C,  in evalSetErrnoIfErrorRange()  argument
121   ProgramStateRef State = C.getState();  in evalSetErrnoIfErrorRange()
122   SValBuilder &SVB = C.getSValBuilder();  in evalSetErrnoIfErrorRange()
125       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoIfErrorRange()
129       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoIfErrorRange()
131       nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount());  in evalSetErrnoIfErrorRange()
135       setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant);  in evalSetErrnoIfErrorRange()
137   C.addTransition(StateSuccess);  in evalSetErrnoIfErrorRange()
138   C.addTransition(StateFailure);  in evalSetErrnoIfErrorRange()
141 void ErrnoTesterChecker::evalSetErrnoCheckState(CheckerContext &C,  in evalSetErrnoCheckState()  argument
143   ProgramStateRef State = C.getState();  in evalSetErrnoCheckState()
144   SValBuilder &SVB = C.getSValBuilder();  in evalSetErrnoCheckState()
147       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoCheckState()
151       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoCheckState()
152   StateFailure1 = setErrnoValue(StateFailure1, C, 1, Irrelevant);  in evalSetErrnoCheckState()
155       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true));  in evalSetErrnoCheckState()
156   StateFailure2 = setErrnoValue(StateFailure2, C, 2, MustBeChecked);  in evalSetErrnoCheckState()
158   C.addTransition(StateSuccess,  in evalSetErrnoCheckState()
159                   getErrnoNoteTag(C, "Assuming that this function succeeds but "  in evalSetErrnoCheckState()
161   C.addTransition(StateFailure1);  in evalSetErrnoCheckState()
162   C.addTransition(  in evalSetErrnoCheckState()
164       getErrnoNoteTag(C, "Assuming that this function returns 2. 'errno' "  in evalSetErrnoCheckState()
169                                   CheckerContext &C) const {  in evalCall()
172     (*Fn)(C, Call);  in evalCall()
173     return C.isDifferent();  in evalCall()