Home
last modified time | relevance | path

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

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DStreamChecker.cpp457 ProgramStateRef StateNotNull, StateNull; in evalFopen() local
825 ProgramStateRef StateNotNull, StateNull; in ensureStreamNonNull() local