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