| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
149 return MakeElementRegion(cast<SubRegion>(R), PointeeTy); in castRegion()
189 return MakeElementRegion(cast<SubRegion>(baseR), PointeeTy); in castRegion()
220 newSuperR = MakeElementRegion(cast<SubRegion>(baseR), Ctx.CharTy, in castRegion()
224 return MakeElementRegion(cast<SubRegion>(newSuperR), PointeeTy, newIndex); in castRegion()
298 BaseDecl, cast<SubRegion>(DerivedReg), IsVirtual); in evalDerivedToBase()
404 const SubRegion* BaseR = nullptr; in getLValueFieldOrIvar()
408 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
469 const SubRegion *BaseRegion = in getLValueElement()
[all …]
|
| H A D | RegionStore.cpp | 54 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) in BindingKey()
80 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion()
82 return reinterpret_cast<const SubRegion *>(static_cast<uintptr_t>(Data)); in getConcreteOffsetRegion()
118 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
427 const SubRegion *R);
477 B = removeSubRegionBindings(B, cast<SubRegion>(R)); in BindDefaultZero()
577 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
603 std::pair<Store, const SubRegion *>
604 findLazyBinding(RegionBindingsConstRef B, const SubRegion *R,
605 const SubRegion *originalRegion);
[all …]
|
| H A D | MemRegion.cpp | 134 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
139 if (const auto *sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
147 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()
148 const SubRegion* r = this; in getMemRegionManager()
151 if (const auto *sr = dyn_cast<SubRegion>(superRegion)) { in getMemRegionManager()
164 ObjCIvarRegion::ObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *sReg) in ObjCIvarRegion()
435 void SubRegion::anchor() {} in anchor()
738 const auto *SR = cast<SubRegion>(MR); in getStaticSize()
1136 const SubRegion* superRegion, in getElementRegion()
1182 const SubRegion* superRegion){ in getFieldRegion()
[all …]
|
| H A D | BugReporterVisitors.cpp | 291 static bool wasRegionOfInterestModifiedAt(const SubRegion *RegionOfInterest, in wasRegionOfInterestModifiedAt()
505 const SubRegion *RegionOfInterest;
518 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
647 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
804 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
871 const SubRegion *RegionOfInterest;
879 MacroNullReturnSuppressionVisitor(const SubRegion *R, const SVal V) in MacroNullReturnSuppressionVisitor()
915 BR.addVisitor<MacroNullReturnSuppressionVisitor>(R->getAs<SubRegion>(), in addMacroVisitorIfNecessary()
1569 if (isTrivialCopyOrMoveCtor(CE) && isa<SubRegion>(R)) { in VisitNode()
1578 std::stack<const SubRegion *> SRStack; in VisitNode()
[all …]
|
| H A D | SymbolManager.cpp | 219 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
423 for (auto SR = dyn_cast<SubRegion>(region); SR; in markElementIndicesLive()
424 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
|
| H A D | SimpleSValBuilder.cpp | 1133 const SubRegion *superR = nullptr; in evalBinOpLN()
1142 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
1145 else if (isa<SubRegion>(region)) { in evalBinOpLN()
1148 superR = cast<SubRegion>(region); in evalBinOpLN()
|
| H A D | ExprEngineCXX.cpp | 149 const auto *ThisReg = cast<SubRegion>(ThisVal.getAsRegion()); in computeObjectUnderConstruction()
179 if (const SubRegion *MR = in computeObjectUnderConstruction()
180 dyn_cast_or_null<SubRegion>(V.getAsRegion())) { in computeObjectUnderConstruction()
1056 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()
|
| H A D | ProgramState.cpp | 618 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 26 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()
175 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) in isTainted()
|
| H A D | MacOSXAPIChecker.cpp | 56 const SubRegion *SR = dyn_cast<SubRegion>(R); in getParentIvarRegion()
60 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
|
| H A D | ArrayBoundCheckerV2.cpp | 50 const SubRegion *baseRegion;
57 RegionRawOffsetV2(const SubRegion* base, SVal offset) in RegionRawOffsetV2()
61 const SubRegion *getRegion() const { return baseRegion; } in getRegion()
317 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) { in computeOffset()
|
| H A D | ObjCSuperDeallocChecker.cpp | 148 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in checkLocation()
|
| H A D | CStringChecker.cpp | 407 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1015 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
2467 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2488 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 442 class SubRegion : public MemRegion {
448 SubRegion(const MemRegion *sReg, Kind k) : MemRegion(k), superRegion(sReg) { in SubRegion() function
474 class AllocaRegion : public SubRegion {
484 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
507 class TypedRegion : public SubRegion {
511 TypedRegion(const MemRegion *sReg, Kind k) : SubRegion(sReg, k) { in TypedRegion()
770 class SymbolicRegion : public SubRegion {
776 : SubRegion(sreg, SymbolicRegionKind), sym(s) { in SymbolicRegion()
1101 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion()
1141 ObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *sReg);
[all …]
|
| H A D | Regions.def | 57 ABSTRACT_REGION(SubRegion, MemRegion)
58 REGION(AllocaRegion, SubRegion)
59 REGION(SymbolicRegion, SubRegion)
60 ABSTRACT_REGION(TypedRegion, SubRegion)
|
| H A D | SymbolManager.h | 179 const SubRegion *R;
182 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
188 const SubRegion *getRegion() const { return R; } in getRegion()
196 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
523 const SymbolExtent *getExtentSymbol(const SubRegion *R);
|
| H A D | Store.h | 180 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
281 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
|
| H A D | ProgramState.h | 349 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()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/ |
| H A D | RegionInfoImpl.h | 379 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { in addSubRegion() argument
380 assert(!SubRegion->parent && "SubRegion already has a parent!"); in addSubRegion()
383 return R.get() == SubRegion; in addSubRegion()
387 SubRegion->parent = static_cast<RegionT *>(this); in addSubRegion()
388 children.push_back(std::unique_ptr<RegionT>(SubRegion)); in addSubRegion()
393 assert(SubRegion->children.empty() && in addSubRegion()
400 if (SubRegion->contains(BB)) in addSubRegion()
401 RI->setRegionFor(BB, SubRegion); in addSubRegion()
407 if (SubRegion->contains(R.get()) && R.get() != SubRegion) { in addSubRegion()
408 R->parent = SubRegion; in addSubRegion()
[all …]
|
| H A D | RegionInfo.h | 454 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);
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Taint.h | 61 const SubRegion *SubRegion,
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/IPO/ |
| H A D | HotColdSplitting.cpp | 554 BlockSequence SubRegion = {SuggestedEntryPoint}; in takeSingleEntrySubRegion() local
568 SubRegion.push_back(BB); in takeSingleEntrySubRegion()
576 return SubRegion; in takeSingleEntrySubRegion()
668 BlockSequence SubRegion = Region.takeSingleEntrySubRegion(*DT); in outlineColdRegions() local
671 for (BasicBlock *BB : SubRegion) in outlineColdRegions()
675 Function *Outlined = extractColdRegion(SubRegion, CEAC, *DT, BFI, TTI, in outlineColdRegions()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 153 const SubRegion *SuperRegion{nullptr}; in allRegionsUsedByWait()
155 SuperRegion = cast<SubRegion>(ER->getSuperRegion()); in allRegionsUsedByWait()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Vectorize/ |
| H A D | VPlanVerifier.cpp | 120 if (const auto *SubRegion = dyn_cast<VPRegionBlock>(VPB)) in verifyRegionRec() local
121 verifyRegionRec(SubRegion); in verifyRegionRec()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | StructurizeCFG.cpp | 810 Region *SubRegion = Node->getNodeAs<Region>(); in changeExit() local
811 BasicBlock *OldExit = SubRegion->getExit(); in changeExit()
817 if (!SubRegion->contains(BB)) in changeExit()
839 SubRegion->replaceExit(NewExit); in changeExit()
|