Lines Matching full:call

45   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
52 void MismatchedIteratorChecker::checkPreCall(const CallEvent &Call, in checkPreCall() argument
55 const auto *Func = dyn_cast_or_null<FunctionDecl>(Call.getDecl()); in checkPreCall()
62 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
63 if (Call.getNumArgs() < 1) in checkPreCall()
67 !isIteratorType(Call.getArgExpr(0)->getType())) in checkPreCall()
70 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
72 if (Call.getNumArgs() < 2) in checkPreCall()
75 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
76 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
79 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
81 } else if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
87 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
89 if (Call.getNumArgs() == 2) { in checkPreCall()
90 verifyMatch(C, Call.getArgSVal(1), in checkPreCall()
94 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
96 if (Call.getNumArgs() == 3 && in checkPreCall()
97 isIteratorType(Call.getArgExpr(1)->getType()) && in checkPreCall()
98 isIteratorType(Call.getArgExpr(2)->getType())) { in checkPreCall()
99 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
102 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
105 } else if (isa<CXXConstructorCall>(&Call)) { in checkPreCall()
107 if (Call.getNumArgs() < 2) in checkPreCall()
110 const auto *Ctr = cast<CXXConstructorDecl>(Call.getDecl()); in checkPreCall()
118 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
119 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
122 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
175 LHS = Call.getArgSVal(J); in checkPreCall()
177 verifyMatch(C, LHS, Call.getArgSVal(J)); in checkPreCall()
215 // for each call. This may cause false positives so omit them from the check. in verifyMatch()
244 // for each call. This may cause false positives so omit them from the check. in verifyMatch()