Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCastValueChecker.cpp433 ProgramStateRef NonNullState, NullState; in evalIsa() local
449 ProgramStateRef NonNullState, NullState; in evalIsaAndNonNull() local