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