| /netbsd-src/external/apache2/llvm/dist/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()
142 return MakeElementRegion(cast<SubRegion>(R), PointeeTy); in castRegion()
187 return MakeElementRegion(cast<SubRegion>(baseR), PointeeTy); in castRegion()
218 newSuperR = MakeElementRegion(cast<SubRegion>(baseR), Ctx.CharTy, in castRegion()
222 return MakeElementRegion(cast<SubRegion>(newSuperR), PointeeTy, newIndex); in castRegion()
296 BaseDecl, cast<SubRegion>(DerivedReg), IsVirtual); in evalDerivedToBase()
402 const SubRegion* BaseR = nullptr; in getLValueFieldOrIvar()
406 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
454 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()
439 const SubRegion *R);
480 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 | 133 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()
150 if (const auto *sr = dyn_cast<SubRegion>(superRegion)) { in getMemRegionManager()
163 ObjCIvarRegion::ObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *sReg) in ObjCIvarRegion()
432 void SubRegion::anchor() {} in anchor()
735 const auto *SR = cast<SubRegion>(MR); in getStaticSize()
1097 const SubRegion* superRegion, in getElementRegion()
1140 const SubRegion* superRegion){ in getFieldRegion()
[all …]
|
| H A D | SymbolManager.cpp | 209 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 D | BugReporterVisitors.cpp | 286 static bool wasRegionOfInterestModifiedAt(const SubRegion *RegionOfInterest, in wasRegionOfInterestModifiedAt()
356 const SubRegion *RegionOfInterest;
381 NoStoreFuncVisitor(const SubRegion *R, bugreporter::TrackingKind TKind) in NoStoreFuncVisitor()
537 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
746 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
813 const SubRegion *RegionOfInterest;
821 MacroNullReturnSuppressionVisitor(const SubRegion *R, const SVal V) in MacroNullReturnSuppressionVisitor()
858 R->getAs<SubRegion>(), V)); in addMacroVisitorIfNecessary()
2116 std::make_unique<NoStoreFuncVisitor>(cast<SubRegion>(R), TKind)); in trackExpressionValue()
|
| H A D | ExprEngineCXX.cpp | 139 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 D | SimpleSValBuilder.cpp | 1057 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 D | ProgramState.cpp | 608 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 25 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 D | ArrayBoundCheckerV2.cpp | 49 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 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 | Taint.h | 61 ProgramStateRef State, SymbolRef ParentSym, const SubRegion *SubRegion,
|
| H A D | ObjCSuperDeallocChecker.cpp | 148 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in checkLocation()
|
| H A D | CStringChecker.cpp | 347 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()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 435 class SubRegion : public MemRegion {
441 SubRegion(const MemRegion *sReg, Kind k) : MemRegion(k), superRegion(sReg) { in SubRegion() function
466 class AllocaRegion : public SubRegion {
476 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
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);
[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 | 174 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 D | Store.h | 179 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
279 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
|
| H A D | ProgramState.h | 305 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()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/ |
| H A D | RegionInfoImpl.h | 393 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 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);
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/IPO/ |
| H A D | HotColdSplitting.cpp | 565 BlockSequence SubRegion = {SuggestedEntryPoint}; in takeSingleEntrySubRegion() local
579 SubRegion.push_back(BB); in takeSingleEntrySubRegion()
587 return SubRegion; in takeSingleEntrySubRegion()
679 BlockSequence SubRegion = Region.takeSingleEntrySubRegion(*DT); in outlineColdRegions() local
682 for (BasicBlock *BB : SubRegion) in outlineColdRegions()
686 Function *Outlined = extractColdRegion(SubRegion, CEAC, *DT, BFI, TTI, in outlineColdRegions()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/Vectorize/ |
| H A D | VPlanVerifier.cpp | 117 if (const auto *SubRegion = dyn_cast<VPRegionBlock>(VPB)) in verifyRegionRec() local
118 verifyRegionRec(SubRegion); in verifyRegionRec()
|
| /netbsd-src/external/apache2/llvm/dist/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()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/ |
| H A D | StructurizeCFG.cpp | 692 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()
|