HomeSort by relevance Sort by last modified time
    Searched refs:SubRegion (Results 1 - 13 of 13) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
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();
265 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
CStringChecker.cpp 283 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
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);
405 const SubRegion *R);
422 const SubRegion *SR = cast<SubRegion>(R);
518 SVal getLazyBinding(const SubRegion *LazyBindingRegion
    [all...]
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() { }
    [all...]
SVals.cpp 67 /// When IncludeBaseRegions is set to true and the SubRegion is non-symbolic,
93 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
ProgramState.cpp 598 // If this is a subregion, also visit the parent regions.
599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
SymbolManager.cpp 204 SymbolManager::getExtentSymbol(const SubRegion *R) {
SimpleSValBuilder.cpp     [all...]
  /external/llvm/include/llvm/Analysis/
RegionInfo.h 102 /// selected for SubRegions just one RegionNode containing the subregion is
107 /// @brief A RegionNode represents a subregion or a BasicBlock that is part of a
129 /// Use one bit to save, if this RegionNode is a subregion or BasicBlock
143 /// BasicBlock itself. If it represents a subregion, this
144 /// is the entry BasicBlock of the subregion.
145 /// @param isSubRegion If this RegionNode represents a SubRegion.
164 /// itself, otherwise we return the entry BasicBlock of the Subregion
171 /// This can be either a BasicBlock or a subregion. Before calling getNodeAs()
177 /// @brief Is this RegionNode a subregion?
179 /// @return True if it contains a subregion. False if it contains
    [all...]
RegionInfoImpl.h 375 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) {
376 assert(!SubRegion->parent && "SubRegion already has a parent!");
378 return R.get() == SubRegion;
380 "Subregion already exists!");
382 SubRegion->parent = static_cast<RegionT *>(this);
383 children.push_back(std::unique_ptr<RegionT>(SubRegion));
388 assert(SubRegion->children.empty() &&
395 if (SubRegion->contains(BB))
396 RI->setRegionFor(BB, SubRegion);
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 36 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);
MemRegion.h 141 /// Check if the region is a subregion of the given region.
412 /// SubRegion - A region that subsets another larger region. Most regions
413 /// are subclasses of SubRegion.
414 class SubRegion : public MemRegion {
419 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
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 {
    [all...]
  /external/llvm/lib/Transforms/Scalar/
StructurizeCFG.cpp 134 /// 4 | 2 = "Then" subregion, runs if the condition is true
136 /// |/ 4 = "Else" optional subregion, runs if the condition is false
154 /// |/ 2 = "Loop" optional subregion, with all exits at "Flow" block
473 // Edge from inside a subregion to its entry, ignore it
502 ((*OI)->isSubRegion() ? "SubRegion with entry: " : "") <<
655 Region *SubRegion = Node->getNodeAs<Region>();
656 BasicBlock *OldExit = SubRegion->getExit();
664 if (!SubRegion->contains(BB))
686 SubRegion->replaceExit(NewExit);

Completed in 260 milliseconds