Home
last modified time | relevance | path

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

/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp49 reportBug(StringRef Msg,ProgramStateRef StateZero,CheckerContext & C) const reportBug() argument
59 reportTaintBug(StringRef Msg,ProgramStateRef StateZero,CheckerContext & C,llvm::ArrayRef<SymbolRef> TaintedSyms) const reportTaintBug() argument
H A DVLASizeChecker.cpp170 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local