Searched refs:StatePrev (Results 1 – 2 of 2) sorted by relevance
98 ProgramStateRef StatePrev = PrevN->getState(); in VisitNode() local101 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
313 ProgramStateRef StatePrev = PrevN->getState(); in VisitNode() local317 StatePrev->get<NullabilityMap>(Region); in VisitNode()