Searched refs:currState (Results 1 – 1 of 1) sorted by relevance
3394 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol() argument3396 ReallocPairsTy currMap = currState->get<ReallocPairs>(); in findFailedReallocSymbol()