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