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

/freebsd-10.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();
276 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
H A DCStringChecker.cpp279 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
1947 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
1968 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) {
/freebsd-10.0-release/contrib/llvm/include/llvm/Analysis/
H A DRegionInfo.h85 /// @param isSubRegion If this RegionNode represents a SubRegion.
375 /// @param SubRegion The region that might be contained in this Region.
376 /// @return True if SubRegion is contained in the region otherwise false.
377 bool contains(const Region *SubRegion) const {
382 return contains(SubRegion->getEntry())
383 && (contains(SubRegion->getExit()) || SubRegion->getExit() == getExit());
446 /// @param SubRegion The new subregion that will be added.
448 /// contained in SubRegion into SubRegion
[all...]
/freebsd-10.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);
412 const SubRegion *R);
516 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
542 std::pair<Store, const SubRegion *>
543 findLazyBinding(RegionBindingsConstRef B, const SubRegion *
[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)) {
433 void SubRegion::anchor() { }
1005 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.cpp618 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
735 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
H A DSymbolManager.cpp205 SymbolManager::getExtentSymbol(const SubRegion *R) {
H A DSimpleSValBuilder.cpp910 else if (isa<SubRegion>(region)) {
/freebsd-10.0-release/contrib/llvm/lib/Analysis/
H A DRegionInfo.cpp344 void Region::addSubRegion(Region *SubRegion, bool moveChildren) { argument
345 assert(SubRegion->parent == 0 && "SubRegion already has a parent!");
346 assert(std::find(begin(), end(), SubRegion) == children.end()
349 SubRegion->parent = this;
350 children.push_back(SubRegion);
355 assert(SubRegion->children.size() == 0
362 if (SubRegion->contains(BB))
363 RI->setRegionFor(BB, SubRegion);
368 if (SubRegion
[all...]
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h39 class SubRegion;
237 /// SubRegion::getExtent instead -- the value returned may not be a symbol.
239 const SubRegion *R;
242 SymbolExtent(SymbolID sym, const SubRegion *r)
245 const SubRegion *getRegion() const { return R; }
251 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) {
516 const SymbolExtent *getExtentSymbol(const SubRegion *R);
H A DMemRegion.h415 /// SubRegion - A region that subsets another larger region. Most regions
416 /// are subclasses of SubRegion.
417 class SubRegion : public MemRegion { class in namespace:clang::ento
422 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} function in class:clang::ento::SubRegion
448 class AllocaRegion : public SubRegion {
456 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
479 class TypedRegion : public SubRegion {
483 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {}
711 class SymbolicRegion : public SubRegion {
717 : SubRegion(sre
[all...]
/freebsd-10.0-release/contrib/llvm/lib/Target/R600/
H A DAMDGPUStructurizeCFG.cpp598 Region *SubRegion = Node->getNodeAs<Region>(); local
599 BasicBlock *OldExit = SubRegion->getExit();
607 if (!SubRegion->contains(BB))
629 SubRegion->replaceExit(NewExit);

Completed in 256 milliseconds