Lines Matching refs:MemRegionVal
211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
212 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV);
482 if (Optional<loc::MemRegionVal> M =
483 InitVal.getAs<loc::MemRegionVal>()) {
