Searched refs:OrigN (Results 1 – 1 of 1) sorted by relevance
2914 const ExplodedNode *OrigN; in popNextReportGraph() local2915 std::tie(OrigN, GraphWrapper.Index) = ReportNodes.pop_back_val(); in popNextReportGraph()2916 assert(PriorityMap.find(OrigN) != PriorityMap.end() && in popNextReportGraph()2930 ExplodedNode *NewN = GNew->getNode(OrigN->getLocation(), OrigN->getState(), in popNextReportGraph()2931 OrigN->isSink()); in popNextReportGraph()2934 InterExplodedGraphMap::const_iterator IMitr = InverseMap.find(OrigN); in popNextReportGraph()2947 if (OrigN->pred_empty()) { in popNextReportGraph()2954 OrigN = *std::min_element(OrigN->pred_begin(), OrigN->pred_end(), in popNextReportGraph()