Searched refs:markPtrSymbolsReleased (Results 1 – 1 of 1) sorted by relevance
97 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,130 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() function in InnerPointerChecker177 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()209 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()