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();
276 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
CStringChecker.cpp 279 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
    [all...]
  /external/llvm/include/llvm/Analysis/
RegionInfo.h 49 /// selected for SubRegions just one RegionNode containing the subregion is
54 /// @brief A RegionNode represents a subregion or a BasicBlock that is part of a
69 /// Use one bit to save, if this RegionNode is a subregion or BasicBlock
83 /// BasicBlock itself. If it represents a subregion, this
84 /// is the entry BasicBlock of the subregion.
85 /// @param isSubRegion If this RegionNode represents a SubRegion.
102 /// itself, otherwise we return the entry BasicBlock of the Subregion
109 /// This can be either a BasicBlock or a subregion. Before calling getNodeAs()
116 /// @brief Is this RegionNode a subregion?
118 /// @return True if it contains a subregion. False if it contains
    [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);
412 const SubRegion *R);
516 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
542 std::pair<Store, const SubRegion *>
543 findLazyBinding(RegionBindingsConstRef B, const SubRegion *R
    [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)) {
433 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 617 // If this is a subregion, also visit the parent regions.
618 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
735 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
SymbolManager.cpp 205 SymbolManager::getExtentSymbol(const SubRegion *R) {
SimpleSValBuilder.cpp     [all...]
  /external/llvm/lib/Analysis/
RegionInfo.cpp 344 void Region::addSubRegion(Region *SubRegion, bool moveChildren) {
345 assert(SubRegion->parent == 0 && "SubRegion already has a parent!");
346 assert(std::find(begin(), end(), SubRegion) == children.end()
347 && "Subregion already exists!");
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);
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 39 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);
MemRegion.h 144 /// Check if the region is a subregion of the given region.
415 /// SubRegion - A region that subsets another larger region. Most regions
416 /// are subclasses of SubRegion.
417 class SubRegion : public MemRegion {
422 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
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 {
    [all...]
  /external/llvm/lib/Transforms/Scalar/
StructurizeCFG.cpp 129 /// 4 | 2 = "Then" subregion, runs if the condition is true
131 /// |/ 4 = "Else" optional subregion, runs if the condition is false
149 /// |/ 2 = "Loop" optional subregion, with all exits at "Flow" block
405 // Edge from inside a subregion to its entry, ignore it
586 Region *SubRegion = Node->getNodeAs<Region>();
587 BasicBlock *OldExit = SubRegion->getExit();
595 if (!SubRegion->contains(BB))
617 SubRegion->replaceExit(NewExit);

Completed in 96 milliseconds