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