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