Lines Matching refs:MemRegionVal

1105         SVal V = RM.getBinding(B, loc::MemRegionVal(VR));  in VisitCluster()
1383   if (!isa<loc::MemRegionVal>(Array))  in ArrayToPointer()
1387       cast<SubRegion>(Array.castAs<loc::MemRegionVal>().getRegion());  in ArrayToPointer()
1389   return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));  in ArrayToPointer()
1409   if (!L.getAs<loc::MemRegionVal>()) {  in getBinding()
1413   const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion();  in getBinding()
2362   if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>())  in killBinding()
2378   const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion();  in bind()
2466     NewB = bind(NewB, loc::MemRegionVal(DstER), V);  in tryBindSmallArray()
2487   if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) {  in bindArray()
2524       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);  in bindArray()
2571       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);  in bindVector()
2610     NewB = bind(NewB, loc::MemRegionVal(DestFR), V);  in tryBindSmallStruct()
2719       NewB = bind(NewB, loc::MemRegionVal(FR), *VI);  in bindStruct()