Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp526 ProgramStateRef StateNotNull, StateNull; in evalFopen() local
1038 ProgramStateRef StateNotNull, StateNull; in ensureStreamNonNull() local