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