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