Searched defs:StateZero (Results 1 – 2 of 2) sorted by relevance
49 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug()59 StringRef Msg, ProgramStateRef StateZero, CheckerContext &C, in reportTaintBug()
176 ProgramStateRef StateNotZero, StateZero; checkVLAIndexSize() local