Searched refs:ExampleNode (Results 1 – 1 of 1) sorted by relevance
33 ExplodedNode *ExampleNode; member232 if (!Stat.ExampleNode) { in analyzerNumTimesReached()234 Stat.ExampleNode = C.generateNonFatalErrorNode(); in analyzerNumTimesReached()416 ExplodedNode *N = Item.second.ExampleNode; in checkEndAnalysis()