Searched refs:StateZero (Results 1 – 1 of 1) sorted by relevance
28 ProgramStateRef StateZero,36 ProgramStateRef StateZero, in reportBug() argument38 if (ExplodedNode *N = C.generateErrorNode(StateZero)) { in reportBug()