92   bool isInvalidatingMemberFunction(const CallEvent &Call) const;
96   void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
103   void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
109   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
118         const CallEvent &Call) const {  in isInvalidatingMemberFunction()
119   if (const auto *MemOpCall = dyn_cast<CXXMemberOperatorCall>(&Call)) {  in isInvalidatingMemberFunction()
125   return (isa<CXXDestructorCall>(Call) || Call.isCalled(AppendFn) ||  in isInvalidatingMemberFunction()
126           Call.isCalled(AssignFn) || Call.isCalled(ClearFn) ||  in isInvalidatingMemberFunction()
127           Call.isCalled(EraseFn) || Call.isCalled(InsertFn) ||  in isInvalidatingMemberFunction()
128           Call.isCalled(PopBackFn) || Call.isCalled(PushBackFn) ||  in isInvalidatingMemberFunction()
129           Call.isCalled(ReplaceFn) || Call.isCalled(ReserveFn) ||  in isInvalidatingMemberFunction()
130           Call.isCalled(ResizeFn) || Call.isCalled(ShrinkToFitFn) ||  in isInvalidatingMemberFunction()
131           Call.isCalled(SwapFn));  in isInvalidatingMemberFunction()
134 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call,  in markPtrSymbolsReleased()  argument
139     const Expr *Origin = Call.getOriginExpr();  in markPtrSymbolsReleased()
151 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call,  in checkFunctionArguments()  argument
154   if (const auto *FC = dyn_cast<AnyFunctionCall>(&Call)) {  in checkFunctionArguments()
176       markPtrSymbolsReleased(Call, State, ArgRegion, C);  in checkFunctionArguments()
195 void InnerPointerChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()  argument
199   if (const auto *ICall = dyn_cast<CXXInstanceCall>(&Call)) {  in checkPostCall()
206     if (Call.isCalled(CStrFn) || Call.isCalled(DataFn)) {  in checkPostCall()
207       SVal RawPtr = Call.getReturnValue();  in checkPostCall()
225     if (isInvalidatingMemberFunction(Call)) {  in checkPostCall()
226       markPtrSymbolsReleased(Call, State, ObjRegion, C);  in checkPostCall()
232   checkFunctionArguments(Call, State, C);  in checkPostCall()