Lines Matching defs:ER
1509 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) {
1515 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{});
1625 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
1626 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()),
1630 Result.second = MRMgr.getElementRegionWithSuper(ER, Result.second);
1678 /// \param ER The given (possibly nested) ElementRegion.
1685 getElementRegionOffsetsWithBase(const ElementRegion *ER) {
1686 assert(ER && "ConstantArrayType should not be null");
1690 SValOffsets.push_back(ER->getIndex());
1691 Base = ER->getSuperRegion();
1692 ER = dyn_cast<ElementRegion>(Base);
1693 } while (ER);
2092 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion))
2093 Result = getBindingForElement(LazyBinding, ER);
2167 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) {
2168 NonLoc index = ER->getIndex();
2559 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2562 NewB = bindStruct(NewB, ER, *VI);
2564 NewB = bindArray(NewB, ER, *VI);
2566 NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2606 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);
2609 NewB = bindArray(NewB, ER, *VI);
2611 NewB = bindStruct(NewB, ER, *VI);
2613 NewB = bind(NewB, loc::MemRegionVal(ER), *VI);