Searched refs:statePrev (Results 1 – 2 of 2) sorted by relevance
1048 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode() local1053 statePrev->get<MostSpecializedTypeArgsMap>(Sym); in VisitNode()
3619 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode() local3622 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()3699 allocation_state::getContainerObjRegion(statePrev, Sym); in VisitNode()3793 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()3807 if (!statePrev->get<RegionState>(FailedReallocSymbol)) { in VisitNode()