Home
last modified time | relevance | path

Searched refs:SubRegion (Results 1 – 25 of 31) sorted by relevance

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
143 return MakeElementRegion(cast<SubRegion>(R), PointeeTy); in castRegion()
188 return MakeElementRegion(cast<SubRegion>(baseR), PointeeTy); in castRegion()
219 newSuperR = MakeElementRegion(cast<SubRegion>(baseR), Ctx.CharTy, in castRegion()
297 BaseDecl, cast<SubRegion>(DerivedReg), IsVirtual); in evalDerivedToBase()
403 const SubRegion* BaseR = nullptr; in getLValueFieldOrIvar()
407 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
455 const SubRegion *BaseRegion = in getLValueElement()
456 Base.castAs<loc::MemRegionVal>().getRegionAs<SubRegion>(); in getLValueElement()
[all …]
H A DRegionStore.cpp54 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) in BindingKey()
118 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
603 std::pair<Store, const SubRegion *>
650 if (const SubRegion *R = dyn_cast<SubRegion>(K.getRegion())) { in iterBindings()
824 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
917 } else if (const SubRegion *BaseSR = dyn_cast<SubRegion>(Base)) { in collectSubRegionBindings()
1397 const SubRegion *R = in ArrayToPointer()
1586 std::pair<Store, const SubRegion *>
1869 const SubRegion *SR = R; in getBindingForFieldOrElementCommon()
1889 SR = dyn_cast<SubRegion>(Base); in getBindingForFieldOrElementCommon()
[all …]
H A DMemRegion.cpp133 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
138 if (const auto *sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
146 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
147 const SubRegion* r = this; in getMemRegionManager()
432 void SubRegion::anchor() {} in anchor()
735 const auto *SR = cast<SubRegion>(MR); in getStaticSize()
1237 const auto *SR = dyn_cast<SubRegion>(this); in getMemorySpace()
1241 SR = dyn_cast<SubRegion>(R); in getMemorySpace()
1276 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
1327 const auto *SubR = dyn_cast<SubRegion>(this); in getSymbolicBase()
[all …]
H A DSymbolManager.cpp209 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
393 for (auto SR = dyn_cast<SubRegion>(region); SR; in markElementIndicesLive()
394 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DExprEngineCXX.cpp139 const auto *ThisReg = cast<SubRegion>(ThisVal.getAsRegion()); in computeObjectUnderConstruction()
169 if (const SubRegion *MR = in computeObjectUnderConstruction()
170 dyn_cast_or_null<SubRegion>(V.getAsRegion())) { in computeObjectUnderConstruction()
902 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()
H A DSimpleSValBuilder.cpp1057 const SubRegion *superR = nullptr; in evalBinOpLN()
1066 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
1069 else if (isa<SubRegion>(region)) { in evalBinOpLN()
1072 superR = cast<SubRegion>(region); in evalBinOpLN()
H A DBugReporterVisitors.cpp287 static bool wasRegionOfInterestModifiedAt(const SubRegion *RegionOfInterest, in wasRegionOfInterestModifiedAt()
357 const SubRegion *RegionOfInterest;
382 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
538 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
747 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
814 const SubRegion *RegionOfInterest;
822 MacroNullReturnSuppressionVisitor(const SubRegion *R, const SVal V) in MacroNullReturnSuppressionVisitor()
858 BR.addVisitor<MacroNullReturnSuppressionVisitor>(R->getAs<SubRegion>(), in addMacroVisitorIfNecessary()
2111 Report.addVisitor<NoStoreFuncVisitor>(cast<SubRegion>(R), Opts.Kind); in handle()
H A DProgramState.cpp608 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp25 REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE(TaintedSubRegions, const SubRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE()
123 const SubRegion *SubRegion, in addPartialTaint() argument
131 if (SubRegion == SubRegion->getBaseRegion()) in addPartialTaint()
138 Regs = F.add(Regs, SubRegion, Kind); in addPartialTaint()
172 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) in isTainted()
H A DMacOSXAPIChecker.cpp56 const SubRegion *SR = dyn_cast<SubRegion>(R); in getParentIvarRegion()
60 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
H A DArrayBoundCheckerV2.cpp49 const SubRegion *baseRegion;
56 RegionRawOffsetV2(const SubRegion* base, SVal offset) in RegionRawOffsetV2()
60 const SubRegion *getRegion() const { return baseRegion; } in getRegion()
317 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) { in computeOffset()
H A DTaint.h61 ProgramStateRef State, SymbolRef ParentSym, const SubRegion *SubRegion,
H A DObjCSuperDeallocChecker.cpp148 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in checkLocation()
H A DCStringChecker.cpp347 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
925 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
2373 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2394 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h435 class SubRegion : public MemRegion {
466 class AllocaRegion : public SubRegion {
498 class TypedRegion : public SubRegion {
502 TypedRegion(const MemRegion *sReg, Kind k) : SubRegion(sReg, k) { in TypedRegion()
754 class SymbolicRegion : public SubRegion {
760 : SubRegion(sreg, SymbolicRegionKind), sym(s) { in SymbolicRegion()
1059 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion()
1096 ObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *sReg);
1217 const SubRegion *SReg) in CXXBaseObjectRegion()
1448 const SubRegion *superRegion) { in getCXXBaseObjectRegionWithSuper()
[all …]
H A DRegions.def57 ABSTRACT_REGION(SubRegion, MemRegion)
58 REGION(AllocaRegion, SubRegion)
59 REGION(SymbolicRegion, SubRegion)
60 ABSTRACT_REGION(TypedRegion, SubRegion)
H A DSymbolManager.h174 const SubRegion *R;
177 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
182 const SubRegion *getRegion() const { return R; } in getRegion()
190 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
459 const SymbolExtent *getExtentSymbol(const SubRegion *R);
H A DStore.h179 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
280 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
H A DProgramState.h305 Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const;
308 Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
716 const SubRegion *Super) const { in getLValue()
724 const SubRegion *Super, in getLValue()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DRegionInfoImpl.h393 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { in addSubRegion() argument
394 assert(!SubRegion->parent && "SubRegion already has a parent!"); in addSubRegion()
397 return R.get() == SubRegion; in addSubRegion()
401 SubRegion->parent = static_cast<RegionT *>(this); in addSubRegion()
402 children.push_back(std::unique_ptr<RegionT>(SubRegion)); in addSubRegion()
407 assert(SubRegion->children.empty() && in addSubRegion()
414 if (SubRegion->contains(BB)) in addSubRegion()
415 RI->setRegionFor(BB, SubRegion); in addSubRegion()
421 if (SubRegion->contains(R.get()) && R.get() != SubRegion) { in addSubRegion()
422 R->parent = SubRegion; in addSubRegion()
[all …]
H A DRegionInfo.h454 bool contains(const RegionT *SubRegion) const {
459 return contains(SubRegion->getEntry()) &&
460 (contains(SubRegion->getExit()) ||
461 SubRegion->getExit() == getExit());
526 void addSubRegion(RegionT *SubRegion, bool moveChildren = false);
533 RegionT *removeSubRegion(RegionT *SubRegion);
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Vectorize/
H A DVPlanVerifier.cpp117 if (const auto *SubRegion = dyn_cast<VPRegionBlock>(VPB)) in verifyRegionRec() local
118 verifyRegionRec(SubRegion); in verifyRegionRec()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DHotColdSplitting.cpp566 BlockSequence SubRegion = {SuggestedEntryPoint}; in takeSingleEntrySubRegion() local
580 SubRegion.push_back(BB); in takeSingleEntrySubRegion()
588 return SubRegion; in takeSingleEntrySubRegion()
680 BlockSequence SubRegion = Region.takeSingleEntrySubRegion(*DT); in outlineColdRegions() local
683 for (BasicBlock *BB : SubRegion) in outlineColdRegions()
687 Function *Outlined = extractColdRegion(SubRegion, CEAC, *DT, BFI, TTI, in outlineColdRegions()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp153 const SubRegion *SuperRegion{nullptr}; in allRegionsUsedByWait()
155 SuperRegion = cast<SubRegion>(ER->getSuperRegion()); in allRegionsUsedByWait()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DStructurizeCFG.cpp692 Region *SubRegion = Node->getNodeAs<Region>(); in changeExit() local
693 BasicBlock *OldExit = SubRegion->getExit(); in changeExit()
699 if (!SubRegion->contains(BB)) in changeExit()
721 SubRegion->replaceExit(NewExit); in changeExit()

12