Lines Matching refs:MemRegionVal
120 SVal V = state->getSVal(loc::MemRegionVal(R));
143 SVal V = state->getSVal(loc::MemRegionVal(R));
159 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
226 SVal Reg = loc::MemRegionVal(TR);
583 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion();
638 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(),
655 FieldVal.castAs<loc::MemRegionVal>().getRegion(),
1915 if (Optional<loc::MemRegionVal> regionLoc = Loc.getAs<loc::MemRegionVal>()) {
2044 if (Optional<loc::MemRegionVal> LocRegVal =
2045 location.getAs<loc::MemRegionVal>()) {
