Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDynamicTypeChecker.cpp97 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
100 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
H A DValistChecker.cpp381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
389 !StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
392 StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
H A DMoveChecker.cpp265 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
268 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
H A DNullabilityChecker.cpp299 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
303 StatePrev->get<NullabilityMap>(Region); in VisitNode()