93   bool isInvalidatingMemberFunction(const CallEvent &Call) const;
96   bool isInnerPointerAccessFunction(const CallEvent &Call) const;
100   void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
107   void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
113   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
122         const CallEvent &Call) const {  in isInvalidatingMemberFunction()
123   if (const auto *MemOpCall = dyn_cast<CXXMemberOperatorCall>(&Call)) {  in isInvalidatingMemberFunction()
129   return isa<CXXDestructorCall>(Call) ||  in isInvalidatingMemberFunction()
130          matchesAny(Call, AppendFn, AssignFn, ClearFn, EraseFn, InsertFn,  in isInvalidatingMemberFunction()
136     const CallEvent &Call) const {  in isInnerPointerAccessFunction()
137   return matchesAny(Call, CStrFn, DataFn, DataMemberFn);  in isInnerPointerAccessFunction()
140 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call,  in markPtrSymbolsReleased()  argument
145     const Expr *Origin = Call.getOriginExpr();  in markPtrSymbolsReleased()
157 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call,  in checkFunctionArguments()  argument
160   if (const auto *FC = dyn_cast<AnyFunctionCall>(&Call)) {  in checkFunctionArguments()
184       if (matchesAny(Call, AddressofFn, AddressofFn_))  in checkFunctionArguments()
187       markPtrSymbolsReleased(Call, State, ArgRegion, C);  in checkFunctionArguments()
206 void InnerPointerChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()  argument
213   if (const auto *ICall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()
218     if (isInvalidatingMemberFunction(Call)) {  in checkPostCall()
219       markPtrSymbolsReleased(Call, State, ObjRegion, C);  in checkPostCall()
224   if (isInnerPointerAccessFunction(Call)) {  in checkPostCall()
226     if (isa<SimpleFunctionCall>(Call)) {  in checkPostCall()
231           dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion());  in checkPostCall()
237     SVal RawPtr = Call.getReturnValue();  in checkPostCall()
256   checkFunctionArguments(Call, State, C);  in checkPostCall()