Searched refs:statePrev (Results 1 – 2 of 2) sorted by relevance
899 ProgramStateRef statePrev = PrevN->getState(); in VisitNode() local904 statePrev->get<MostSpecializedTypeArgsMap>(Sym); in VisitNode()
2623 ProgramStateRef statePrev = PrevN->getState(); in VisitNode() local2626 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()2671 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()2685 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()