Searched refs:StatePrev (Results 1 – 4 of 4) sorted by relevance
94 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local97 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local389 !StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()392 StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
283 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local286 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
301 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local305 StatePrev->get<NullabilityMap>(Region); in VisitNode()