Searched refs:getBaseRegion (Results 1 – 16 of 16) sorted by relevance
51 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()52 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
70 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>(); in checkPreStmt()
77 const MemRegion *RB = R->getBaseRegion(); in CheckDispatchOnce()
72 R = R->getBaseRegion(); in genName()352 const VarRegion *VR = cast<VarRegion>(P.first->getBaseRegion()); in checkEndFunction()
459 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()713 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()
1549 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()1956 R->markInteresting(MR->getBaseRegion()); in ReportOffsetFree()2260 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()2482 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkEscapeOnReturn()
945 ITraits.setTrait(R->getBaseRegion(), in InvalidateBuffer()
85 const MemRegion *getBaseRegion() const { in getBaseRegion() function in __anonf243ef2f0111::BindingKey87 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()88 return getRegion()->getBaseRegion(); in getBaseRegion()240 const MemRegion *Base = K.getBaseRegion(); in addBinding()270 const MemRegion *Base = K.getBaseRegion(); in removeBinding()517 return B.getDefaultBinding(R->getBaseRegion()); in getDefaultBinding()1150 const MemRegion *SuperR = baseR->getBaseRegion(); in VisitCluster()1625 if (isa<CompoundLiteralRegion>(R->getBaseRegion())) in getBindingForElement()2069 region = region->getBaseRegion(); in includedInBindings()2082 if (R->getBaseRegion() == region) in includedInBindings()[all …]
553 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()724 if (SubRegion == SubRegion->getBaseRegion()) in addPartialTaint()
309 ETraits.setTrait(MR->getBaseRegion(), in invalidateRegions()693 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
432 MR = MR->getBaseRegion(); in isLiveRegion()
963 const MemRegion *LeftBase = LeftMR->getBaseRegion(); in evalBinOpLL()964 const MemRegion *RightBase = RightMR->getBaseRegion(); in evalBinOpLL()
700 const auto *const VR = dyn_cast<VarRegion>(this->getBaseRegion()); in sourceRange()1158 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion() function in MemRegion
2103 R = R->getBaseRegion(); in markInteresting()2136 R = R->getBaseRegion(); in isInteresting()
919 Region = ValueRegion->getBaseRegion(); in ProcessAutomaticObjDtor()
120 const MemRegion *getBaseRegion() const;