Searched refs:statePrev (Results 1 – 1 of 1) sorted by relevance
3426 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode() local3429 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()3498 allocation_state::getContainerObjRegion(statePrev, Sym); in VisitNode()3572 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()3586 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()