Home
last modified time | relevance | path

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

12

/freebsd-14.2/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()
150 return MakeElementRegion(cast<SubRegion>(R), PointeeTy); in castRegion()
190 return MakeElementRegion(cast<SubRegion>(baseR), PointeeTy); in castRegion()
221 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()
468 const SubRegion *BaseRegion = in getLValueElement()
469 Base.castAs<loc::MemRegionVal>().getRegionAs<SubRegion>(); in getLValueElement()
[all …]
H A DRegionStore.cpp55 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) in BindingKey()
119 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
605 std::pair<Store, const SubRegion *>
653 if (const SubRegion *R = dyn_cast<SubRegion>(Key.getRegion())) { in iterBindings()
818 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
910 } else if (const SubRegion *BaseSR = dyn_cast<SubRegion>(Base)) { in collectSubRegionBindings()
1373 const SubRegion *R = in ArrayToPointer()
1563 std::pair<Store, const SubRegion *>
2105 const SubRegion *SR = R; in getBindingForFieldOrElementCommon()
2126 SR = dyn_cast<SubRegion>(Base); in getBindingForFieldOrElementCommon()
[all …]
H A DMemRegion.cpp132 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
137 if (const auto *sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
145 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
146 const SubRegion* r = this; in getMemRegionManager()
459 void SubRegion::anchor() {} in anchor()
766 const auto *SR = cast<SubRegion>(MR); in getStaticSize()
1311 const auto *SR = dyn_cast<SubRegion>(this); in getMemorySpace()
1315 SR = dyn_cast<SubRegion>(R); in getMemorySpace()
1344 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
1394 const auto *SubR = dyn_cast<SubRegion>(this); in getSymbolicBase()
[all …]
H A DBugReporterVisitors.cpp317 static bool wasRegionOfInterestModifiedAt(const SubRegion *RegionOfInterest, in wasRegionOfInterestModifiedAt()
531 const SubRegion *RegionOfInterest;
544 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
673 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
830 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
897 const SubRegion *RegionOfInterest;
905 MacroNullReturnSuppressionVisitor(const SubRegion *R, const SVal V) in MacroNullReturnSuppressionVisitor()
1594 if (isTrivialCopyOrMoveCtor(CE) && isa<SubRegion>(R)) { in VisitNode()
1603 std::stack<const SubRegion *> SRStack; in VisitNode()
1604 const SubRegion *SR = cast<SubRegion>(R); in VisitNode()
[all …]
H A DSymbolManager.cpp216 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
413 for (auto SR = dyn_cast<SubRegion>(region); SR; in markElementIndicesLive()
414 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DExprEngineCXX.cpp150 const auto *ThisReg = cast<SubRegion>(ThisVal.getAsRegion()); in computeObjectUnderConstruction()
180 if (const SubRegion *MR = in computeObjectUnderConstruction()
181 dyn_cast_or_null<SubRegion>(V.getAsRegion())) { in computeObjectUnderConstruction()
1061 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()
H A DSimpleSValBuilder.cpp1159 const SubRegion *superR = nullptr; in evalBinOpLN()
1168 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
1171 else if (isa<SubRegion>(region)) { in evalBinOpLN()
1174 superR = cast<SubRegion>(region); in evalBinOpLN()
H A DProgramState.cpp615 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp26 REGISTER_MAP_FACTORY_WITH_PROGRAMSTATE(TaintedSubRegions, const SubRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE()
126 const SubRegion *SubRegion, in addPartialTaint() argument
134 if (SubRegion == SubRegion->getBaseRegion()) in addPartialTaint()
141 Regs = F.add(Regs, SubRegion, Kind); in addPartialTaint()
240 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) { in getTaintedSymbolsImpl()
H A DArrayBoundCheckerV2.cpp85 static std::optional<std::pair<const SubRegion *, NonLoc>>
93 const SubRegion *OwnerRegion = nullptr; in computeOffset()
124 OwnerRegion = CurRegion->getSuperRegion()->getAs<SubRegion>(); in computeOffset()
210 static std::string getRegionName(const SubRegion *Region) { in getRegionName()
251 static Messages getPrecedesMsgs(const SubRegion *Region, NonLoc Offset) { in getPrecedesMsgs()
261 static Messages getExceedsMsgs(ASTContext &ACtx, const SubRegion *Region, in getExceedsMsgs()
313 static Messages getTaintMsgs(const SubRegion *Region, const char *OffsetName) { in getTaintMsgs()
345 const std::optional<std::pair<const SubRegion *, NonLoc>> &RawOffset = in performCheck()
H A DMacOSXAPIChecker.cpp58 const SubRegion *SR = dyn_cast<SubRegion>(R); in getParentIvarRegion()
62 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
H A DObjCSuperDeallocChecker.cpp149 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in checkLocation()
H A DCStringChecker.cpp422 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1050 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in isFirstBufInBound()
2629 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2647 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def57 ABSTRACT_REGION(SubRegion, MemRegion)
58 REGION(AllocaRegion, SubRegion)
59 REGION(SymbolicRegion, SubRegion)
60 ABSTRACT_REGION(TypedRegion, SubRegion)
H A DMemRegion.h441 class SubRegion : public MemRegion {
473 class AllocaRegion : public SubRegion {
506 class TypedRegion : public SubRegion {
510 TypedRegion(const MemRegion *sReg, Kind k) : SubRegion(sReg, k) { in TypedRegion()
775 class SymbolicRegion : public SubRegion {
781 : SubRegion(sreg, SymbolicRegionKind), sym(s) { in SymbolicRegion()
1106 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion()
1146 ObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *sReg);
1312 const SubRegion *SReg) in CXXBaseObjectRegion()
1561 const SubRegion *superRegion) { in getCXXBaseObjectRegionWithSuper()
[all …]
H A DSymbolManager.h180 const SubRegion *R;
183 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
189 const SubRegion *getRegion() const { return R; } in getRegion()
197 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
524 const SymbolExtent *getExtentSymbol(const SubRegion *R);
H A DStore.h180 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
281 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
H A DProgramState.h349 Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const;
352 Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
756 const SubRegion *Super) const { in getLValue()
764 const SubRegion *Super, in getLValue()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DRegionInfoImpl.h372 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { in addSubRegion() argument
373 assert(!SubRegion->parent && "SubRegion already has a parent!"); in addSubRegion()
376 return R.get() == SubRegion; in addSubRegion()
380 SubRegion->parent = static_cast<RegionT *>(this); in addSubRegion()
381 children.push_back(std::unique_ptr<RegionT>(SubRegion)); in addSubRegion()
386 assert(SubRegion->children.empty() && in addSubRegion()
393 if (SubRegion->contains(BB)) in addSubRegion()
394 RI->setRegionFor(BB, SubRegion); in addSubRegion()
400 if (SubRegion->contains(R.get()) && R.get() != SubRegion) { in addSubRegion()
401 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-14.2/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DHotColdSplitting.cpp595 BlockSequence SubRegion = {SuggestedEntryPoint}; in takeSingleEntrySubRegion() local
609 SubRegion.push_back(BB); in takeSingleEntrySubRegion()
617 return SubRegion; in takeSingleEntrySubRegion()
711 BlockSequence SubRegion = Region.takeSingleEntrySubRegion(*DT); in outlineColdRegions() local
714 for (BasicBlock *BB : SubRegion) in outlineColdRegions()
718 Function *Outlined = extractColdRegion(SubRegion, CEAC, *DT, BFI, TTI, in outlineColdRegions()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h61 const SubRegion *SubRegion,
/freebsd-14.2/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-14.2/contrib/llvm-project/llvm/lib/Transforms/Vectorize/
H A DVPlanVerifier.cpp121 if (const auto *SubRegion = dyn_cast<VPRegionBlock>(VPB)) in verifyRegionRec() local
122 verifyRegionRec(SubRegion); in verifyRegionRec()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DStructurizeCFG.cpp808 Region *SubRegion = Node->getNodeAs<Region>(); in changeExit() local
809 BasicBlock *OldExit = SubRegion->getExit(); in changeExit()
815 if (!SubRegion->contains(BB)) in changeExit()
837 SubRegion->replaceExit(NewExit); in changeExit()

12