Searched refs:didPreviousFreeFail (Results 1 – 1 of 1) sorted by relevance
1178 static bool didPreviousFreeFail(ProgramStateRef State, in didPreviousFreeFail() function1391 !didPreviousFreeFail(State, SymBase, PreviousRetStatusSymbol)) { in FreeMemAux()