Home | History | Annotate | Download | only in Checkers

Lines Matching defs:OrigNode

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