Searched refs:getBaseRegion (Results 1 – 12 of 12) 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()240 const VarRegion *VR = cast<VarRegion>(cb.V[i].first->getBaseRegion()); in checkEndFunction()
1371 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()1769 R->markInteresting(MR->getBaseRegion()); in ReportOffsetFree()2028 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()2236 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
2236 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 __anon85a886c70111::BindingKey83 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()84 return getRegion()->getBaseRegion(); in getBaseRegion()239 const MemRegion *Base = K.getBaseRegion(); in addBinding()257 const ClusterBindings *Cluster = lookup(K.getBaseRegion()); in lookup()269 const MemRegion *Base = K.getBaseRegion(); in removeBinding()732 assert(R == R->getBaseRegion() && "Should only be called for base regions"); in scanReachableSymbols()882 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()969 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()
425 MR = MR->getBaseRegion(); in isLiveRegion()
517 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
444 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
1075 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion() function in MemRegion
2607 R = R->getBaseRegion(); in markInteresting()2641 R = R->getBaseRegion(); in isInteresting()
139 const MemRegion *getBaseRegion() const;