Lines Matching refs:getArgSVal
206 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
209 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()
226 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
359 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
363 handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
364 Call.getArgSVal(1), Op); in handleOverloadedOperator()
375 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
389 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
390 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
406 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
416 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
429 Call.getArgSVal(0), Call.getArgSVal(1)); in handleAdvanceLikeFunction()
438 if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) { in handleAdvanceLikeFunction()
440 Call.getArgSVal(0), Call.getArgSVal(1)); in handleAdvanceLikeFunction()