Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp46 const SubRegion *baseRegion;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset) in RegionRawOffsetV2()
57 const SubRegion *getRegion() const { return baseRegion; } in getRegion()
79 region = cast<SubRegion>(region)->getSuperRegion(); in computeExtentBegin()
277 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) { in computeOffset()
DCStringChecker.cpp287 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1905 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
1926 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
/external/llvm/include/llvm/Analysis/
DRegionInfo.h363 bool contains(const Region *SubRegion) const { in contains() argument
368 return contains(SubRegion->getEntry()) in contains()
369 && (contains(SubRegion->getExit()) || SubRegion->getExit() == getExit()); in contains()
435 void addSubRegion(Region *SubRegion, bool moveChildren = false);
442 Region *removeSubRegion(Region *SubRegion);
/external/llvm/lib/Analysis/
DRegionInfo.cpp312 void Region::addSubRegion(Region *SubRegion, bool moveChildren) { in addSubRegion() argument
313 assert(SubRegion->parent == 0 && "SubRegion already has a parent!"); in addSubRegion()
314 assert(std::find(begin(), end(), SubRegion) == children.end() in addSubRegion()
317 SubRegion->parent = this; in addSubRegion()
318 children.push_back(SubRegion); in addSubRegion()
323 assert(SubRegion->children.size() == 0 in addSubRegion()
330 if (SubRegion->contains(BB)) in addSubRegion()
331 RI->setRegionFor(BB, SubRegion); in addSubRegion()
336 if (SubRegion->contains(*I) && *I != SubRegion) { in addSubRegion()
337 SubRegion->children.push_back(*I); in addSubRegion()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp148 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
153 if (const SubRegion* sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
161 MemRegionManager* SubRegion::getMemRegionManager() const { in getMemRegionManager()
162 const SubRegion* r = this; in getMemRegionManager()
165 if (const SubRegion *sr = dyn_cast<SubRegion>(superRegion)) { in getMemRegionManager()
425 void SubRegion::anchor() { } in anchor()
945 const SubRegion* SR = dyn_cast<SubRegion>(this); in getMemorySpace()
949 SR = dyn_cast<SubRegion>(R); in getMemorySpace()
983 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
DSimpleConstraintManager.cpp86 const SubRegion *SubR = dyn_cast<SubRegion>(R); in assumeAux()
97 SubR = dyn_cast<SubRegion>(SubR->getSuperRegion()); in assumeAux()
DRegionStore.cpp235 RegionBindings removeSubRegionBindings(RegionBindings B, const SubRegion *R);
403 if (const SubRegion *R = dyn_cast<SubRegion>(K.getRegion())) { in iterBindings()
542 const SubRegion *R) { in removeSubRegionBindings()
551 const SubRegion *Base = cast<SubRegion>(SRKey.getConcreteOffsetRegion()); in removeSubRegionBindings()
604 } else if (const SubRegion *BaseSR = dyn_cast<SubRegion>(Base)) { in removeSubRegionBindings()
669 if (const SubRegion *BaseR = dyn_cast<SubRegion>(K.getRegion())) { in VisitBinding()
852 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); in getSizeInElements()
1362 if (const SubRegion *SR = dyn_cast<SubRegion>(superR)) { in getBindingForFieldOrElementCommon()
1588 B = removeSubRegionBindings(B, cast<SubRegion>(R)); in Bind()
1951 if (const SubRegion *BaseR = dyn_cast<SubRegion>(K.getRegion())) { in VisitBinding()
DSVals.cpp87 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in getLocSymbolInBase()
DProgramState.cpp559 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
676 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) in isTainted()
DSymbolManager.cpp224 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
DSimpleSValBuilder.cpp919 else if (isa<SubRegion>(region)) { in evalBinOpLN()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h39 class SubRegion; variable
239 const SubRegion *R;
242 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
245 const SubRegion *getRegion() const { return R; } in getRegion()
251 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
514 const SymbolExtent *getExtentSymbol(const SubRegion *R);
DMemRegion.h401 class SubRegion : public MemRegion {
406 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} in SubRegion() function
432 class AllocaRegion : public SubRegion {
440 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} in AllocaRegion()
463 class TypedRegion : public SubRegion {
467 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} in TypedRegion()
683 class SymbolicRegion : public SubRegion {
689 : SubRegion(sreg, SymbolicRegionKind), sym(s) {} in SymbolicRegion()