Searched refs:getBaseRegion (Results 1 – 11 of 11) 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()231 const VarRegion *VR = cast<VarRegion>(cb.V[i].first->getBaseRegion()); in checkEndFunction()
1367 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()1762 R->markInteresting(MR->getBaseRegion()); in ReportOffsetFree()2021 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()2227 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
2234 const VarRegion *VR = R->getBaseRegion()->getAs<VarRegion>(); in GetAllocationSite()
63 assert((r == r->getBaseRegion() || isa<ObjCIvarRegion>(r)) && "Not a base"); in BindingKey()81 const MemRegion *getBaseRegion() const { in getBaseRegion() function in __anona4a347190111::BindingKey83 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()84 return getRegion()->getBaseRegion(); in getBaseRegion()245 const MemRegion *Base = K.getBaseRegion(); in addBinding()263 const ClusterBindings *Cluster = lookup(K.getBaseRegion()); in lookup()275 const MemRegion *Base = K.getBaseRegion(); in removeBinding()719 const MemRegion *BaseR = R->getBaseRegion(); in AddToWorkList()748 assert(R == R->getBaseRegion() && "Should only be called for base regions"); in scanReachableSymbols()898 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()[all …]
730 const MemRegion *LeftBase = LeftMR->getBaseRegion(); in evalBinOpLL()731 const MemRegion *RightBase = RightMR->getBaseRegion(); in evalBinOpLL()
413 MR = MR->getBaseRegion(); in isLiveRegion()
517 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
1063 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion() function in MemRegion
2609 R = R->getBaseRegion(); in markInteresting()2643 R = R->getBaseRegion(); in isInteresting()
139 const MemRegion *getBaseRegion() const;