Searched refs:InstCall (Results 1 – 5 of 5) sorted by relevance
| /freebsd-14.2/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 | 83 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
84 verifyIncrement(C, InstCall->getCXXThisVal()); in checkPreCall()
92 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
93 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()
100 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
105 InstCall->getCXXThisVal(), in checkPreCall()
117 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
118 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()
|
| H A D | IteratorModeling.cpp | 356 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
358 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
370 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
374 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
399 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
400 handleIncrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
409 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
410 handleDecrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
|
| H A D | ContainerModeling.cpp | 156 const auto *InstCall = cast<CXXInstanceCall>(&Call); in checkPostCall() local
158 handleAssignment(C, InstCall->getCXXThisVal(), Call.getOriginExpr(), in checkPostCall()
163 handleAssignment(C, InstCall->getCXXThisVal()); in checkPostCall()
167 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPostCall() local
170 (this->**Handler0)(C, InstCall->getCXXThisVal(), in checkPostCall()
171 InstCall->getCXXThisExpr()); in checkPostCall()
177 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
183 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
194 InstCall->getCXXThisVal()); in checkPostCall()
200 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()
|