Searched refs:statePrev (Results 1 – 2 of 2) sorted by relevance
1047 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode() local1052 statePrev->get<MostSpecializedTypeArgsMap>(Sym); in VisitNode()
3371 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode() local3374 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()3432 allocation_state::getContainerObjRegion(statePrev, Sym); in VisitNode()3506 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()3520 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()