Home
last modified time | relevance | path

Searched refs:StatePrev (Results 1 – 6 of 6) sorted by relevance

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DDynamicTypeChecker.cpp94 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
97 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
DValistChecker.cpp381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
389 !StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
392 StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
DMoveChecker.cpp283 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
286 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
DNullabilityChecker.cpp301 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
305 StatePrev->get<NullabilityMap>(Region); in VisitNode()
/external/clang/lib/StaticAnalyzer/Checkers/
DDynamicTypeChecker.cpp98 ProgramStateRef StatePrev = PrevN->getState(); in VisitNode() local
101 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
DNullabilityChecker.cpp313 ProgramStateRef StatePrev = PrevN->getState(); in VisitNode() local
317 StatePrev->get<NullabilityMap>(Region); in VisitNode()