Lines Matching defs:OrigNode
2011 const ExplodedNode *OrigNode = BRC.getNodeResolver().getOriginalNode(N);2012 if (const RetainSummary *Summ = SummaryLog.lookup(OrigNode)) {