424       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
425         verifyAccess(C, InstCall->getCXXThisVal());  in checkPreCall()
433         if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
434           verifyIncrement(C, InstCall->getCXXThisVal());  in checkPreCall()
442         if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
443           verifyDecrement(C, InstCall->getCXXThisVal());  in checkPreCall()
450         if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
454                                    InstCall->getCXXThisVal(),  in checkPreCall()
465         if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
466           verifyDereference(C, InstCall->getCXXThisVal());  in checkPreCall()
474       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
478         if (!isIteratorType(InstCall->getCXXThisExpr()->getType()) ||  in checkPreCall()
482         verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0));  in checkPreCall()
494   } else if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPreCall()  local
498     const auto *ContReg = InstCall->getCXXThisVal().getAsRegion();  in checkPreCall()
504                   InstCall->getCXXThisVal().getAsRegion());  in checkPreCall()
507                     InstCall->getCXXThisVal().getAsRegion());  in checkPreCall()
511                   InstCall->getCXXThisVal().getAsRegion());  in checkPreCall()
519                   InstCall->getCXXThisVal().getAsRegion());  in checkPreCall()
611       const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call);  in checkPostCall()  local
613         handleAssign(C, InstCall->getCXXThisVal(), Call.getOriginExpr(),  in checkPostCall()
616         handleAssign(C, InstCall->getCXXThisVal());  in checkPostCall()
619       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
620         handleComparison(C, Call.getReturnValue(), InstCall->getCXXThisVal(),  in checkPostCall()
627       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
631                                  InstCall->getCXXThisVal(), Call.getArgSVal(0));  in checkPostCall()
641       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
642         handleIncrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(),  in checkPostCall()
649       if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
650         handleDecrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(),  in checkPostCall()
658     if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
660         handleAssign(C, InstCall->getCXXThisVal());  in checkPostCall()
662         handleClear(C, InstCall->getCXXThisVal());  in checkPostCall()
664         handlePushBack(C, InstCall->getCXXThisVal());  in checkPostCall()
666         handlePopBack(C, InstCall->getCXXThisVal());  in checkPostCall()
668         handlePushFront(C, InstCall->getCXXThisVal());  in checkPostCall()
670         handlePopFront(C, InstCall->getCXXThisVal());  in checkPostCall()
697     if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()  local
700                     InstCall->getCXXThisVal());  in checkPostCall()
705                   InstCall->getCXXThisVal());  in checkPostCall()