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();
266 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
CStringChecker.cpp 292 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);
399 const SubRegion *R);
416 const SubRegion *SR = cast<SubRegion>(R);
512 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)) {
SymbolManager.cpp 204 SymbolManager::getExtentSymbol(const SubRegion *R) {
398 for (auto SR = dyn_cast<SubRegion>(region); SR;
399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {
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))
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 377 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) {
378 assert(!SubRegion->parent && "SubRegion already has a parent!");
380 return R.get() == SubRegion;
382 "Subregion already exists!");
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);
    [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
469 // Edge from inside a subregion to its entry, ignore it
498 ((*OI)->isSubRegion() ? "SubRegion with entry: " : "") <<
651 Region *SubRegion = Node->getNodeAs<Region>();
652 BasicBlock *OldExit = SubRegion->getExit();
660 if (!SubRegion->contains(BB))
682 SubRegion->replaceExit(NewExit);

Completed in 584 milliseconds