Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.cpp380 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
388 !StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
391 StatePrev->contains<InitializedVALists>(Reg)) in VisitNode()
H A DMoveChecker.cpp283 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
286 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
H A DNullabilityChecker.cpp345 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
349 StatePrev->get<NullabilityMap>(Region); in VisitNode()