Searched refs:nodeHasBugReport (Results 1 – 1 of 1) sorted by relevance
2953 static bool nodeHasBugReport(const ExplodedNode *N) { in nodeHasBugReport() function3002 if (traverseHiddenNodes(N, Noop, Noop, &nodeHasBugReport)) { in getNodeAttributes()3032 if (nodeHasBugReport(N)) in getNodeLabel()