Searched refs:InstCall (Results 1 – 5 of 5) sorted by relevance
| /freebsd/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()
100 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
109 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 | ContainerModeling.cpp | 161 const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call); in checkPostCall() local
162 if (!InstCall) in checkPostCall()
166 handleAssignment(C, InstCall->getCXXThisVal(), Call.getCFGElementRef(), in checkPostCall()
171 handleAssignment(C, InstCall->getCXXThisVal(), C.getCFGElementRef()); in checkPostCall()
175 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPostCall() local
178 (this->**Handler0)(C, InstCall->getCXXThisVal(), in checkPostCall()
179 InstCall->getCXXThisExpr()); in checkPostCall()
185 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
191 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
202 InstCall->getCXXThisVal()); in checkPostCall()
[all …]
|
| H A D | IteratorModeling.cpp | 359 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
361 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
374 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
378 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
403 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
404 handleIncrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
413 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
414 handleDecrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
|
| H A D | InvalidatedIteratorChecker.cpp | 62 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
63 verifyAccess(C, InstCall->getCXXThisVal()); in checkPreCall()
|