Home | History | Annotate | Download | only in Core

Lines Matching refs:OriginalR

569           if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) {
571                 State->getSVal(OriginalR).getAs<KnownSVal>())
573                   *KV, OriginalR, EnableNullFPSuppression));