Searched refs:StateZero (Results 1 – 1 of 1) sorted by relevance
27 void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,43 const char *Msg, ProgramStateRef StateZero, CheckerContext &C, in reportBug() argument45 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportBug()