95   bool isInvalidatingMemberFunction(const CallEvent &Call) const;
99   void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
106   void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
112   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
121         const CallEvent &Call) const {  in isInvalidatingMemberFunction()
122   if (const auto *MemOpCall = dyn_cast<CXXMemberOperatorCall>(&Call)) {  in isInvalidatingMemberFunction()
128   return isa<CXXDestructorCall>(Call) ||  in isInvalidatingMemberFunction()
129          InvalidatingMemberFunctions.contains(Call);  in isInvalidatingMemberFunction()
132 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call,  in markPtrSymbolsReleased()  argument
137     const Expr *Origin = Call.getOriginExpr();  in markPtrSymbolsReleased()
149 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call,  in checkFunctionArguments()  argument
152   if (const auto *FC = dyn_cast<AnyFunctionCall>(&Call)) {  in checkFunctionArguments()
176       if (AddressofFunctions.contains(Call))  in checkFunctionArguments()
179       markPtrSymbolsReleased(Call, State, ArgRegion, C);  in checkFunctionArguments()
198 void InnerPointerChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()  argument
205   if (const auto *ICall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()
210     if (isInvalidatingMemberFunction(Call)) {  in checkPostCall()
211       markPtrSymbolsReleased(Call, State, ObjRegion, C);  in checkPostCall()
216   if (InnerPointerAccessFunctions.contains(Call)) {  in checkPostCall()
218     if (isa<SimpleFunctionCall>(Call)) {  in checkPostCall()
223           dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion());  in checkPostCall()
229     SVal RawPtr = Call.getReturnValue();  in checkPostCall()
248   checkFunctionArguments(Call, State, C);  in checkPostCall()