Searched refs:InstCall (Results 1 – 5 of 5) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 62 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
66 if (!isIteratorType(InstCall->getCXXThisExpr()->getType()) || in checkPreCall()
70 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
81 } else if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
82 const auto *ContReg = InstCall->getCXXThisVal().getAsRegion(); in checkPreCall()
88 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
91 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
95 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
103 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
|
| H A D | IteratorRangeChecker.cpp | 88 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
89 verifyIncrement(C, InstCall->getCXXThisVal()); in checkPreCall()
97 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
98 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()
105 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
110 InstCall->getCXXThisVal(), in checkPreCall()
122 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
123 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()
|
| H A D | IteratorModeling.cpp | 357 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
359 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
371 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
375 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
400 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
401 handleIncrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
410 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
411 handleDecrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
|
| H A D | ContainerModeling.cpp | 161 const auto *InstCall = cast<CXXInstanceCall>(&Call); in checkPostCall() local
163 handleAssignment(C, InstCall->getCXXThisVal(), Call.getOriginExpr(), in checkPostCall()
168 handleAssignment(C, InstCall->getCXXThisVal()); in checkPostCall()
172 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPostCall() local
175 (this->**Handler0)(C, InstCall->getCXXThisVal(), in checkPostCall()
176 InstCall->getCXXThisExpr()); in checkPostCall()
182 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
188 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
199 InstCall->getCXXThisVal()); in checkPostCall()
205 InstCall->getCXXThisVal()); in checkPostCall()
|
| H A D | InvalidatedIteratorChecker.cpp | 62 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
63 verifyAccess(C, InstCall->getCXXThisVal()); in checkPreCall()
|