Searched defs:StateZero (Results 1 – 2 of 2) sorted by relevance
44 const char *Msg, ProgramStateRef StateZero, CheckerContext &C, in reportBug()
177 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local