Searched refs:InstCall (Results 1 – 5 of 5) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 72 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
76 if (!isIteratorType(InstCall->getCXXThisExpr()->getType()) || in checkPreCall()
80 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
91 } else if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
92 const auto *ContReg = InstCall->getCXXThisVal().getAsRegion(); in checkPreCall()
98 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
101 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
105 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
113 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
|
| H A D | IteratorRangeChecker.cpp | 89 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
90 verifyIncrement(C, InstCall->getCXXThisVal()); in checkPreCall()
98 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
99 verifyDecrement(C, InstCall->getCXXThisVal()); in checkPreCall()
106 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
111 InstCall->getCXXThisVal(), in checkPreCall()
123 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
124 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()
|
| 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()
373 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
377 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
402 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
403 handleIncrement(C, Call.getReturnValue(), InstCall->getCXXThisVal(), in handleOverloadedOperator()
412 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in handleOverloadedOperator() local
413 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 | 67 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall() local
68 verifyAccess(C, InstCall->getCXXThisVal()); in checkPreCall()
|