Lines Matching full:call

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) {
90 Call.getArgSVal(0), Irrelevant));
94 const CallEvent &Call) {
100 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal);
106 const CallEvent &Call) {
111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));
123 const CallEvent &Call) {
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));
134 nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount());
145 const CallEvent &Call) {
150 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true));
154 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true));
158 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true));
171 bool ErrnoTesterChecker::evalCall(const CallEvent &Call,
173 const EvalFn *Fn = TestCalls.lookup(Call);
175 (*Fn)(C, Call);