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()
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()