28 class ErrnoTesterChecker : public Checker<eval::Call> {
30   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
35   static void evalSetErrno(CheckerContext &C, const CallEvent &Call);
38   static void evalGetErrno(CheckerContext &C, const CallEvent &Call);
44   static void evalSetErrnoIfError(CheckerContext &C, const CallEvent &Call);
49                                        const CallEvent &Call);
53   ///   This is the case of a successful standard function call.
56   ///   This is the case of a failed standard function call.
62   ///   This is the case of a standard function call where the failure can only
65   ///   the call (\c ErrnoChecker does not check for this rule).
69   static void evalSetErrnoCheckState(CheckerContext &C, const CallEvent &Call);
88                                       const CallEvent &Call) {  in evalSetErrno()  argument
90                                 Call.getArgSVal(0), Irrelevant));  in evalSetErrno()
94                                       const CallEvent &Call) {  in evalGetErrno()  argument
100       State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal);  in evalGetErrno()
106                                              const CallEvent &Call) {  in evalSetErrnoIfError()  argument
111       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoIfError()
115       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoIfError()
123                                                   const CallEvent &Call) {  in evalSetErrnoIfErrorRange()  argument
128       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoIfErrorRange()
132       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoIfErrorRange()
134       nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount());  in evalSetErrnoIfErrorRange()
145                                                 const CallEvent &Call) {  in evalSetErrnoCheckState()  argument
150       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));  in evalSetErrnoCheckState()
154       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));  in evalSetErrnoCheckState()
158       Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true));  in evalSetErrnoCheckState()
171 bool ErrnoTesterChecker::evalCall(const CallEvent &Call,  in evalCall()  argument
173   const EvalFn *Fn = TestCalls.lookup(Call);  in evalCall()
175     (*Fn)(C, Call);  in evalCall()