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

/external/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();
276 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
H A DCStringChecker.cpp283 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
1999 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2020 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) {
/external/llvm/include/llvm/Analysis/
H A DRegionInfo.h97 /// @param isSubRegion If this RegionNode represents a SubRegion.
387 /// @param SubRegion The region that might be contained in this Region.
388 /// @return True if SubRegion is contained in the region otherwise false.
389 bool contains(const Region *SubRegion) const {
394 return contains(SubRegion->getEntry())
395 && (contains(SubRegion->getExit()) || SubRegion->getExit() == getExit());
458 /// @param SubRegion The new subregion that will be added.
460 /// contained in SubRegion into SubRegion
[all...]
/external/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);
405 const SubRegion *R);
422 const SubRegion *SR = cast<SubRegion>(R);
518 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() { }
1030 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 DProgramState.cpp599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
H A DSymbolManager.cpp204 SymbolManager::getExtentSymbol(const SubRegion *R) {
H A DSimpleSValBuilder.cpp913 else if (isa<SubRegion>(region)) {
/external/llvm/lib/Analysis/
H A DRegionInfo.cpp340 void Region::addSubRegion(Region *SubRegion, bool moveChildren) { argument
341 assert(!SubRegion->parent && "SubRegion already has a parent!");
343 return R.get() == SubRegion;
347 SubRegion->parent = this;
348 children.push_back(std::unique_ptr<Region>(SubRegion));
353 assert(SubRegion->children.size() == 0
360 if (SubRegion->contains(BB))
361 RI->setRegionFor(BB, SubRegion);
366 if (SubRegion
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h36 class SubRegion;
234 /// SubRegion::getExtent instead -- the value returned may not be a symbol.
236 const SubRegion *R;
239 SymbolExtent(SymbolID sym, const SubRegion *r)
242 const SubRegion *getRegion() const { return R; }
248 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) {
513 const SymbolExtent *getExtentSymbol(const SubRegion *R);
H A DMemRegion.h412 /// SubRegion - A region that subsets another larger region. Most regions
413 /// are subclasses of SubRegion.
414 class SubRegion : public MemRegion { class in namespace:clang::ento
419 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} function in class:clang::ento::SubRegion
445 class AllocaRegion : public SubRegion {
453 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
476 class TypedRegion : public SubRegion {
480 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {}
711 class SymbolicRegion : public SubRegion {
717 : SubRegion(sre
[all...]
/external/llvm/lib/Transforms/Scalar/
H A DStructurizeCFG.cpp590 Region *SubRegion = Node->getNodeAs<Region>(); local
591 BasicBlock *OldExit = SubRegion->getExit();
599 if (!SubRegion->contains(BB))
621 SubRegion->replaceExit(NewExit);

Completed in 2753 milliseconds