Lines Matching refs:getArgSVal

205     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()
208         State = removeIteratorPosition(State, Call.getArgSVal(0));  in checkPostCall()
225       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()
361                          InstCall->getCXXThisVal(), Call.getArgSVal(0), Op);  in handleOverloadedOperator()
365       handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
366                          Call.getArgSVal(1), Op);  in handleOverloadedOperator()
377                                  InstCall->getCXXThisVal(), Call.getArgSVal(0));  in handleOverloadedOperator()
391           const SVal FirstArg = Call.getArgSVal(0);  in handleOverloadedOperator()
392           const SVal SecondArg = Call.getArgSVal(1);  in handleOverloadedOperator()
408       handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
418       handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in handleOverloadedOperator()
431                       Call.getArgSVal(0), Call.getArgSVal(1));  in handleAdvanceLikeFunction()
440       if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) {  in handleAdvanceLikeFunction()
442                           Call.getArgSVal(0), Call.getArgSVal(1));  in handleAdvanceLikeFunction()