Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp52 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) in BindingKey()
76 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion()
78 return reinterpret_cast<const SubRegion *>(static_cast<uintptr_t>(Data)); in getConcreteOffsetRegion()
114 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
399 const SubRegion *R);
416 const SubRegion *SR = cast<SubRegion>(R); in BindDefault()
512 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
538 std::pair<Store, const SubRegion *>
539 findLazyBinding(RegionBindingsConstRef B, const SubRegion *R,
540 const SubRegion *originalRegion);
[all …]
DMemRegion.cpp149 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
154 if (const SubRegion* sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
162 MemRegionManager* SubRegion::getMemRegionManager() const { in getMemRegionManager()
163 const SubRegion* r = this; in getMemRegionManager()
166 if (const SubRegion *sr = dyn_cast<SubRegion>(superRegion)) { in getMemRegionManager()
435 void SubRegion::anchor() { } in anchor()
1045 const SubRegion* SR = dyn_cast<SubRegion>(this); in getMemorySpace()
1049 SR = dyn_cast<SubRegion>(R); in getMemorySpace()
1083 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
1124 const SubRegion *SubR = dyn_cast<SubRegion>(this); in getSymbolicBase()
[all …]
DSVals.cpp93 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in getLocSymbolInBase()
DSymbolManager.cpp204 SymbolManager::getExtentSymbol(const SubRegion *R) { in getExtentSymbol()
398 for (auto SR = dyn_cast<SubRegion>(region); SR; in markElementIndicesLive()
399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
DProgramState.cpp599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) in isTainted()
DSimpleSValBuilder.cpp913 else if (isa<SubRegion>(region)) { in evalBinOpLN()
/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()
266 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) { in computeOffset()
DCStringChecker.cpp292 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
876 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
2082 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2103 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
/external/llvm/include/llvm/Analysis/
DRegionInfoImpl.h377 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { in addSubRegion() argument
378 assert(!SubRegion->parent && "SubRegion already has a parent!"); in addSubRegion()
380 return R.get() == SubRegion; in addSubRegion()
384 SubRegion->parent = static_cast<RegionT *>(this); in addSubRegion()
385 children.push_back(std::unique_ptr<RegionT>(SubRegion)); in addSubRegion()
390 assert(SubRegion->children.empty() && in addSubRegion()
397 if (SubRegion->contains(BB)) in addSubRegion()
398 RI->setRegionFor(BB, SubRegion); in addSubRegion()
404 if (SubRegion->contains(I->get()) && I->get() != SubRegion) { in addSubRegion()
405 (*I)->parent = SubRegion; in addSubRegion()
[all …]
DRegionInfo.h441 bool contains(const RegionT *SubRegion) const {
446 return contains(SubRegion->getEntry()) &&
447 (contains(SubRegion->getExit()) ||
448 SubRegion->getExit() == getExit());
513 void addSubRegion(RegionT *SubRegion, bool moveChildren = false);
520 RegionT *removeSubRegion(RegionT *SubRegion);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h36 class SubRegion; variable
236 const SubRegion *R;
239 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
242 const SubRegion *getRegion() const { return R; } in getRegion()
248 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
513 const SymbolExtent *getExtentSymbol(const SubRegion *R);
DMemRegion.h414 class SubRegion : public MemRegion {
419 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} in SubRegion() function
445 class AllocaRegion : public SubRegion {
453 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} in AllocaRegion()
476 class TypedRegion : public SubRegion {
480 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} in TypedRegion()
711 class SymbolicRegion : public SubRegion {
717 : SubRegion(sreg, SymbolicRegionKind), sym(s) {} in SymbolicRegion()
/external/llvm/lib/Transforms/Scalar/
DStructurizeCFG.cpp651 Region *SubRegion = Node->getNodeAs<Region>(); in changeExit() local
652 BasicBlock *OldExit = SubRegion->getExit(); in changeExit()
660 if (!SubRegion->contains(BB)) in changeExit()
682 SubRegion->replaceExit(NewExit); in changeExit()