Searched refs:SubRegion (Results 1 - 13 of 13) sorted by relevance

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp46 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 DCStringChecker.cpp292 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 DRegionStore.cpp52 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 DMemRegion.cpp149 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 DSVals.cpp67 /// When IncludeBaseRegions is set to true and the SubRegion is non-symbolic,
93 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
H A DSymbolManager.cpp204 SymbolManager::getExtentSymbol(const SubRegion *R) {
398 for (auto SR = dyn_cast<SubRegion>(region); SR;
399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {
H A DProgramState.cpp599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
H A DSimpleSValBuilder.cpp913 else if (isa<SubRegion>(region)) {
/freebsd-11.0-release/contrib/llvm/include/llvm/Analysis/
H A DRegionInfoImpl.h377 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 DRegionInfo.h145 /// @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 DSymbolManager.h36 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 DMemRegion.h424 /// 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 DStructurizeCFG.cpp498 ((*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