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