Searched defs:StateZero (Results 1 – 2 of 2) sorted by relevance
49 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
170 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local