Lines Matching refs:OriginalR
569 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) {571 State->getSVal(OriginalR).getAs<KnownSVal>())572 BR.addVisitor(new FindLastStoreBRVisitor(*KV, OriginalR,