| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 54 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k) in BindingKey()
78 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion()
80 return reinterpret_cast<const SubRegion *>(static_cast<uintptr_t>(Data)); in getConcreteOffsetRegion()
116 return BindingKey(cast<SubRegion>(R), cast<SubRegion>(RO.getRegion()), k); in Make()
401 const SubRegion *R);
418 const SubRegion *SR = cast<SubRegion>(R); in BindDefault()
514 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
540 std::pair<Store, const SubRegion *>
541 findLazyBinding(RegionBindingsConstRef B, const SubRegion *R,
542 const SubRegion *originalRegion);
[all …]
|
| D | MemRegion.cpp | 145 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
150 if (const SubRegion* sr = dyn_cast<SubRegion>(r)) in isSubRegionOf()
158 MemRegionManager* SubRegion::getMemRegionManager() const { in getMemRegionManager()
159 const SubRegion* r = this; in getMemRegionManager()
162 if (const SubRegion *sr = dyn_cast<SubRegion>(superRegion)) { in getMemRegionManager()
431 void SubRegion::anchor() { } in anchor()
1099 const SubRegion* SR = dyn_cast<SubRegion>(this); in getMemorySpace()
1103 SR = dyn_cast<SubRegion>(R); in getMemorySpace()
1137 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
1178 const SubRegion *SubR = dyn_cast<SubRegion>(this); in getSymbolicBase()
[all …]
|
| D | SVals.cpp | 93 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in getLocSymbolInBase()
|
| D | SymbolManager.cpp | 204 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()
|
| D | ProgramState.cpp | 599 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in scan()
716 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg)) in isTainted()
|
| D | SimpleSValBuilder.cpp | 913 else if (isa<SubRegion>(region)) { in evalBinOpLN()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 46 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()
|
| D | ObjCSuperDeallocChecker.cpp | 154 while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { in checkLocation()
|
| D | CStringChecker.cpp | 296 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
880 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
2140 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2161 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) { in checkRegionChanges()
|
| D | ExprInspectionChecker.cpp | 160 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); in analyzerGetExtent()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Regions.def | 58 ABSTRACT_REGION(SubRegion, MemRegion)
59 REGION(AllocaRegion, SubRegion)
60 REGION(SymbolicRegion, SubRegion)
61 ABSTRACT_REGION(TypedRegion, SubRegion)
|
| D | SymbolManager.h | 37 class SubRegion; variable
154 const SubRegion *R;
157 SymbolExtent(SymbolID sym, const SubRegion *r) in SymbolExtent()
160 const SubRegion *getRegion() const { return R; } in getRegion()
166 static void Profile(llvm::FoldingSetNodeID& profile, const SubRegion *R) { in Profile()
431 const SymbolExtent *getExtentSymbol(const SubRegion *R);
|
| D | MemRegion.h | 410 class SubRegion : public MemRegion {
415 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} in SubRegion() function
441 class AllocaRegion : public SubRegion {
449 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} in AllocaRegion()
472 class TypedRegion : public SubRegion {
476 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} in TypedRegion()
707 class SymbolicRegion : public SubRegion {
713 : SubRegion(sreg, SymbolicRegionKind), sym(s) {} in SymbolicRegion()
|
| /external/swiftshader/third_party/LLVM/include/llvm/Analysis/ |
| D | RegionInfo.h | 363 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/swiftshader/third_party/LLVM/lib/Analysis/ |
| D | RegionInfo.cpp | 330 void Region::addSubRegion(Region *SubRegion, bool moveChildren) { in addSubRegion() argument
331 assert(SubRegion->parent == 0 && "SubRegion already has a parent!"); in addSubRegion()
332 assert(std::find(begin(), end(), SubRegion) == children.end() in addSubRegion()
335 SubRegion->parent = this; in addSubRegion()
336 children.push_back(SubRegion); in addSubRegion()
341 assert(SubRegion->children.size() == 0 in addSubRegion()
348 if (SubRegion->contains(BB)) in addSubRegion()
349 RI->setRegionFor(BB, SubRegion); in addSubRegion()
354 if (SubRegion->contains(*I) && *I != SubRegion) { in addSubRegion()
355 SubRegion->children.push_back(*I); in addSubRegion()
[all …]
|
| /external/llvm/include/llvm/Analysis/ |
| D | RegionInfoImpl.h | 376 void RegionBase<Tr>::addSubRegion(RegionT *SubRegion, bool moveChildren) { in addSubRegion() argument
377 assert(!SubRegion->parent && "SubRegion already has a parent!"); in addSubRegion()
379 return R.get() == SubRegion; in addSubRegion()
383 SubRegion->parent = static_cast<RegionT *>(this); in addSubRegion()
384 children.push_back(std::unique_ptr<RegionT>(SubRegion)); in addSubRegion()
389 assert(SubRegion->children.empty() && in addSubRegion()
396 if (SubRegion->contains(BB)) in addSubRegion()
397 RI->setRegionFor(BB, SubRegion); in addSubRegion()
403 if (SubRegion->contains(I->get()) && I->get() != SubRegion) { in addSubRegion()
404 (*I)->parent = SubRegion; in addSubRegion()
[all …]
|
| D | RegionInfo.h | 442 bool contains(const RegionT *SubRegion) const {
447 return contains(SubRegion->getEntry()) &&
448 (contains(SubRegion->getExit()) ||
449 SubRegion->getExit() == getExit());
514 void addSubRegion(RegionT *SubRegion, bool moveChildren = false);
521 RegionT *removeSubRegion(RegionT *SubRegion);
|
| /external/llvm/lib/Transforms/Scalar/ |
| D | StructurizeCFG.cpp | 657 Region *SubRegion = Node->getNodeAs<Region>(); in changeExit() local
658 BasicBlock *OldExit = SubRegion->getExit(); in changeExit()
666 if (!SubRegion->contains(BB)) in changeExit()
688 SubRegion->replaceExit(NewExit); in changeExit()
|