Searched refs:SubRegion (Results 1 - 13 of 13) sorted by relevance
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ArrayBoundCheckerV2.cpp | 46 const SubRegion *baseRegion; 53 RegionRawOffsetV2(const SubRegion* base, SVal offset) 57 const SubRegion *getRegion() const { return baseRegion; } 79 region = cast<SubRegion>(region)->getSuperRegion(); 266 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
|
H A D | CStringChecker.cpp | 292 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); 876 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); 2079 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { 2100 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) {
|
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | RegionStore.cpp | 52 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) 76 const SubRegion *getConcreteOffsetRegion() const { 78 return reinterpret_cast<const SubRegion *>(static_cast<uintptr_t>(Data)); 114 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); 399 const SubRegion *R); 416 const SubRegion *SR = cast<SubRegion>(R); 512 SVal getLazyBinding(const SubRegion *LazyBindingRegio [all...] |
H A D | MemRegion.cpp | 149 bool SubRegion::isSubRegionOf(const MemRegion* R) const { 154 if (const SubRegion* sr = dyn_cast<SubRegion>(r)) 162 MemRegionManager* SubRegion::getMemRegionManager() const { 163 const SubRegion* r = this; 166 if (const SubRegion *sr = dyn_cast<SubRegion>(superRegion)) { 435 void SubRegion::anchor() { } 1049 const SubRegion* SR = dyn_cast<SubRegion>(thi [all...] |
H A D | SVals.cpp | 67 /// When IncludeBaseRegions is set to true and the SubRegion is non-symbolic, 93 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
|
H A D | SymbolManager.cpp | 204 SymbolManager::getExtentSymbol(const SubRegion *R) { 398 for (auto SR = dyn_cast<SubRegion>(region); SR; 399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {
|
H A D | ProgramState.cpp | 599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { 716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
|
H A D | SimpleSValBuilder.cpp | 913 else if (isa<SubRegion>(region)) {
|
/freebsd-11.0-release/contrib/llvm/include/llvm/Analysis/ |
H A D | RegionInfoImpl.h | 377 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { argument 378 assert(!SubRegion->parent && "SubRegion already has a parent!"); 380 return R.get() == SubRegion; 384 SubRegion->parent = static_cast<RegionT *>(this); 385 children.push_back(std::unique_ptr<RegionT>(SubRegion)); 390 assert(SubRegion->children.empty() && 397 if (SubRegion->contains(BB)) 398 RI->setRegionFor(BB, SubRegion); 404 if (SubRegion [all...] |
H A D | RegionInfo.h | 145 /// @param isSubRegion If this RegionNode represents a SubRegion. 439 /// @param SubRegion The region that might be contained in this Region. 440 /// @return True if SubRegion is contained in the region otherwise false. 441 bool contains(const RegionT *SubRegion) const { 446 return contains(SubRegion->getEntry()) && 447 (contains(SubRegion->getExit()) || 448 SubRegion->getExit() == getExit()); 510 /// @param SubRegion The new subregion that will be added. 512 /// contained in SubRegion into SubRegion [all...] |
/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SymbolManager.h | 36 class SubRegion; 240 /// SubRegion::getExtent instead -- the value returned may not be a symbol. 242 const SubRegion *R; 245 SymbolExtent(SymbolID sym, const SubRegion *r) 248 const SubRegion *getRegion() const { return R; } 254 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { 519 const SymbolExtent *getExtentSymbol(const SubRegion *R);
|
H A D | MemRegion.h | 424 /// SubRegion - A region that subsets another larger region. Most regions 425 /// are subclasses of SubRegion. 426 class SubRegion : public MemRegion { class in namespace:clang::ento 431 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} function in class:clang::ento::SubRegion 457 class AllocaRegion : public SubRegion { 465 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 488 class TypedRegion : public SubRegion { 492 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} 723 class SymbolicRegion : public SubRegion { 729 : SubRegion(sre [all...] |
/freebsd-11.0-release/contrib/llvm/lib/Transforms/Scalar/ |
H A D | StructurizeCFG.cpp | 498 ((*OI)->isSubRegion() ? "SubRegion with entry: " : "") << 651 Region *SubRegion = Node->getNodeAs<Region>(); local 652 BasicBlock *OldExit = SubRegion->getExit(); 660 if (!SubRegion->contains(BB)) 682 SubRegion->replaceExit(NewExit);
|
Completed in 118 milliseconds