Lines Matching defs:ER
1473 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) {
1479 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{});
1589 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
1590 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()),
1594 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second);
1642 /// \param ER The given (possibly nested) ElementRegion.
1649 getElementRegionOffsetsWithBase(const ElementRegion *ER) {
1650 assert(ER && "ConstantArrayType should not be null");
1654 SValOffsets.push_back(ER->getIndex());
1655 Base = ER->getSuperRegion();
1656 ER = dyn_cast<ElementRegion>(Base);
1657 } while (ER);
2056 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion))
2057 Result = getBindingForElement(LazyBinding, ER);
2131 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) {
2132 NonLoc index = ER->getIndex();
2520 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2523 NewB = bindStruct(NewB, ER, *VI);
2525 NewB = bindArray(NewB, ER, *VI);
2527 NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2567 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);
2570 NewB = bindArray(NewB, ER, *VI);
2572 NewB = bindStruct(NewB, ER, *VI);
2574 NewB = bind(NewB, loc::MemRegionVal(ER), *VI);