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...]