Searched refs:ExampleNode (Results 1 – 1 of 1) sorted by relevance
33 ExplodedNode *ExampleNode; member235 if (!ReachedStats[CE].ExampleNode) { in analyzerNumTimesReached()237 ReachedStats[CE].ExampleNode = C.generateNonFatalErrorNode(); in analyzerNumTimesReached()420 ExplodedNode *N = Item.second.ExampleNode; in checkEndAnalysis()