Searched refs:getSuperRegion (Results 1 – 15 of 15) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
D | MemRegion.cpp | 40 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1); in getRegion() 79 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2); in getRegion() 150 const MemRegion* r = getSuperRegion(); in isSubRegionOf() 155 r = sr->getSuperRegion(); in isSubRegionOf() 165 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager() 344 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile() 396 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile() 407 ProfileRegion(ID, Ex, getSuperRegion()); in Profile() 1004 Super = Base->getSuperRegion(); in getCXXBaseObjectRegion() 1048 R = SR->getSuperRegion(); in getMemorySpace() [all …]
|
D | Store.cpp | 331 MR = BaseR->getSuperRegion(); in evalDynamicCast() 475 ElemR->getSuperRegion(), in getLValueElement() 487 const MemRegion *ArrayR = ElemR->getSuperRegion(); in getLValueElement()
|
D | SimpleSValBuilder.cpp | 548 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion() 777 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL() 910 superR = elemReg->getSuperRegion(); in evalBinOpLN()
|
D | RegionStore.cpp | 418 SR->getSuperRegion()->getAsOffset().getOffset() && in BindDefault() 765 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields() 1542 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding() 1549 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding() 1559 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding() 1580 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement() 1754 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon() 1780 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon() 1807 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar() 2333 cast<StackArgumentsSpaceRegion>(TR->getSuperRegion()); in VisitAddedToCluster()
|
D | ProgramState.cpp | 600 const MemRegion *Super = SR->getSuperRegion(); in scan() 711 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K); in isTainted() 717 return isTainted(ER->getSuperRegion(), K); in isTainted()
|
D | SVals.cpp | 97 R = SR->getSuperRegion(); in getLocSymbolInBase()
|
D | SymbolManager.cpp | 399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | ArrayBoundCheckerV2.cpp | 79 region = cast<SubRegion>(region)->getSuperRegion(); in computeExtentBegin() 296 region = elemReg->getSuperRegion(); in computeOffset()
|
D | ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
|
D | ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
|
D | CStringChecker.cpp | 292 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation() 876 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound() 907 R = ER->getSuperRegion(); in InvalidateBuffer() 2083 MR = SR->getSuperRegion(); in checkRegionChanges() 2104 Super = SR->getSuperRegion(); in checkRegionChanges()
|
D | NullabilityChecker.cpp | 272 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion() 274 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
|
D | MallocChecker.cpp | 1613 MR = ER->getSuperRegion(); in ReportBadFree() 2272 if (VR->getSuperRegion() == R) { in checkPostStmt()
|
D | RetainCountChecker.cpp | 2728 if (VR->getSuperRegion() == R) { in checkPostStmt()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | MemRegion.h | 421 const MemRegion* getSuperRegion() const { in getSuperRegion() function
|