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()
362                          InstCall->getCXXThisVal(), Call.getArgSVal(0), Op);  in handleOverloadedOperator()
366       handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
367                          Call.getArgSVal(1), Op);  in handleOverloadedOperator()
378                                  InstCall->getCXXThisVal(), Call.getArgSVal(0));  in handleOverloadedOperator()
392           const SVal FirstArg = Call.getArgSVal(0);  in handleOverloadedOperator()
393           const SVal SecondArg = Call.getArgSVal(1);  in handleOverloadedOperator()
409       handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
419       handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
432                       Call.getArgSVal(0), Call.getArgSVal(1));  in handleAdvanceLikeFunction()
441       if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) {  in handleAdvanceLikeFunction()
443                           Call.getArgSVal(0), Call.getArgSVal(1));  in handleAdvanceLikeFunction()