Cross Reference: /external/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

Lines Matching refs:MemRegionVal

1025         SVal V = RM.getBinding(B, loc::MemRegionVal(VR));
1244   if (!Array.getAs<loc::MemRegionVal>())
1247   const MemRegion* R = Array.castAs<loc::MemRegionVal>().getRegion();
1249   return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));
1269   if (!L.getAs<loc::MemRegionVal>()) {
1273   const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion();
1879   if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>())
1895   const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion();
1965   if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) {
2003       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2050       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2089     NewB = bind(NewB, loc::MemRegionVal(DestFR), V);
2149       NewB = bind(NewB, loc::MemRegionVal(FR), *VI);

OpenGrok