Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DDynamicTypeChecker.cpp94 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
H A DValistChecker.cpp381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
H A DMoveChecker.cpp282 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local
H A DNullabilityChecker.cpp337 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode() local