Lines Matching refs:Call

51   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
79 void IteratorRangeChecker::checkPreCall(const CallEvent &Call, in checkPreCall() argument
82 const auto *Func = dyn_cast_or_null<FunctionDecl>(Call.getDecl()); in checkPreCall()
89 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
92 if (Call.getNumArgs() >= 1) { in checkPreCall()
93 verifyIncrement(C, Call.getArgSVal(0)); in checkPreCall()
98 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
101 if (Call.getNumArgs() >= 1) { in checkPreCall()
102 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
106 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
108 if (Call.getNumArgs() >= 1 && in checkPreCall()
109 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
112 Call.getArgSVal(0)); in checkPreCall()
115 if (Call.getNumArgs() >= 2 && in checkPreCall()
116 Call.getArgExpr(1)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
118 Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
123 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
126 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()
130 const AdvanceFn *Verifier = AdvanceFunctions.lookup(Call); in checkPreCall()
132 if (Call.getNumArgs() > 1) { in checkPreCall()
133 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
137 C, Call.getArgSVal(0), in checkPreCall()