427         verifyAccess(C, Call.getArgSVal(0));  in checkPreCall()
437             verifyIncrement(C, Call.getArgSVal(0));  in checkPreCall()
446             verifyDecrement(C, Call.getArgSVal(0));  in checkPreCall()
455                                    Call.getArgSVal(0));  in checkPreCall()
460                                    Call.getArgSVal(0), Call.getArgSVal(1));  in checkPreCall()
468           verifyDereference(C, Call.getArgSVal(0));  in checkPreCall()
482         verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0));  in checkPreCall()
491         verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));  in checkPreCall()
503       verifyMatch(C, Call.getArgSVal(0),  in checkPreCall()
506         verifyMatch(C, Call.getArgSVal(1),  in checkPreCall()
510       verifyMatch(C, Call.getArgSVal(0),  in checkPreCall()
515         verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2));  in checkPreCall()
518       verifyMatch(C, Call.getArgSVal(0),  in checkPreCall()
538     verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));  in checkPreCall()
592           LHS = Call.getArgSVal(J);  in checkPreCall()
594           verifyMatch(C, LHS, Call.getArgSVal(J));  in checkPreCall()
614                      Call.getArgSVal(0));  in checkPostCall()
621                          Call.getArgSVal(0), Op);  in checkPostCall()
623         handleComparison(C, Call.getReturnValue(), Call.getArgSVal(0),  in checkPostCall()
624                          Call.getArgSVal(1), Op);  in checkPostCall()
631                                  InstCall->getCXXThisVal(), Call.getArgSVal(0));  in checkPostCall()
636                                  Call.getReturnValue(), Call.getArgSVal(0),  in checkPostCall()
637                                  Call.getArgSVal(1));  in checkPostCall()
645         handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in checkPostCall()
653         handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0),  in checkPostCall()
672         handleInsert(C, Call.getArgSVal(0));  in checkPostCall()
675           handleErase(C, Call.getArgSVal(0));  in checkPostCall()
677           handleErase(C, Call.getArgSVal(0), Call.getArgSVal(1));  in checkPostCall()
681           handleEraseAfter(C, Call.getArgSVal(0));  in checkPostCall()
683           handleEraseAfter(C, Call.getArgSVal(0), Call.getArgSVal(1));  in checkPostCall()
716       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()
719           State = removeIteratorPosition(State, Call.getArgSVal(0));  in checkPostCall()
733         if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()