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