Lines Matching refs:MemRegionVal
989 SVal V = LVState->getRawSVal(loc::MemRegionVal(R));1036 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) {1052 loc::MemRegionVal(RegionRVal), false));