Searched refs:getBaseRegion (Results 1 – 13 of 13) sorted by relevance
53 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()54 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
48 R = R->getBaseRegion(); in genName()245 const VarRegion *VR = cast<VarRegion>(cb.V[i].first->getBaseRegion()); in checkEndFunction()
1379 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()1777 R->markInteresting(MR->getBaseRegion()); in ReportOffsetFree()2036 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()2244 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
923 ITraits.setTrait(R->getBaseRegion(), in InvalidateBuffer()
2237 const VarRegion *VR = R->getBaseRegion()->getAs<VarRegion>(); in GetAllocationSite()
65 assert((r == r->getBaseRegion() || isa<ObjCIvarRegion>(r)) && "Not a base"); in BindingKey()83 const MemRegion *getBaseRegion() const { in getBaseRegion() function in __anon53e1adc20111::BindingKey85 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()86 return getRegion()->getBaseRegion(); in getBaseRegion()241 const MemRegion *Base = K.getBaseRegion(); in addBinding()259 const ClusterBindings *Cluster = lookup(K.getBaseRegion()); in lookup()271 const MemRegion *Base = K.getBaseRegion(); in removeBinding()733 assert(R == R->getBaseRegion() && "Should only be called for base regions"); in scanReachableSymbols()883 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()970 const MemRegion *BaseR = doNotInvalidateSuperRegion ? R : R->getBaseRegion(); in AddToWorkList()[all …]
730 const MemRegion *LeftBase = LeftMR->getBaseRegion(); in evalBinOpLL()731 const MemRegion *RightBase = RightMR->getBaseRegion(); in evalBinOpLL()
180 ETraits.setTrait(MR->getBaseRegion(), in invalidateRegions()454 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
425 MR = MR->getBaseRegion(); in isLiveRegion()
676 const VarRegion *const VR = dyn_cast<VarRegion>(this->getBaseRegion()); in sourceRange()1129 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion() function in MemRegion
517 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
2607 R = R->getBaseRegion(); in markInteresting()2641 R = R->getBaseRegion(); in isInteresting()
103 const MemRegion *getBaseRegion() const;