| /external/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 39 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1); in getRegion()
77 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2); in getRegion()
146 const MemRegion* r = getSuperRegion(); in isSubRegionOf()
151 r = sr->getSuperRegion(); in isSubRegionOf()
161 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
340 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
392 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile()
403 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
659 R = ER->getSuperRegion(); in getDescriptiveName()
1058 Super = Base->getSuperRegion(); in getCXXBaseObjectRegion()
[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 | 420 SR->getSuperRegion()->getAsOffset().getOffset() && in BindDefault()
766 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/MPI-Checker/ |
| D | MPIChecker.cpp | 37 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion()))) in checkDoubleNonblocking()
66 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion()))) in checkUnmatchedWaits()
155 SuperRegion = ER->getSuperRegion(); in allRegionsUsedByWait()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 170 OS << " of " + Visit(R->getSuperRegion()); in VisitElementRegion()
191 Visit(R->getSuperRegion()); in VisitFieldRegion()
201 "' inside " + Visit(R->getSuperRegion()); in VisitCXXBaseObjectRegion()
|
| /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 | PointerArithChecker.cpp | 125 Region = Region->getAs<CXXBaseObjectRegion>()->getSuperRegion(); in getArrayRegion()
129 Region = Region->getAs<ElementRegion>()->getSuperRegion(); in getArrayRegion()
|
| D | ObjCSuperDeallocChecker.cpp | 159 R = SR->getSuperRegion(); 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()
911 R = ER->getSuperRegion(); in InvalidateBuffer()
2141 MR = SR->getSuperRegion(); in checkRegionChanges()
2162 Super = SR->getSuperRegion(); in checkRegionChanges()
|
| D | CheckObjCDealloc.cpp | 525 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
628 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
|
| D | NullabilityChecker.cpp | 301 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
303 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
|
| D | MallocChecker.cpp | 1621 MR = ER->getSuperRegion(); in ReportBadFree()
2280 if (VR->getSuperRegion() == R) { in checkPostStmt()
|
| D | RetainCountChecker.cpp | 2729 if (VR->getSuperRegion() == R) { in checkPostStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 417 const MemRegion* getSuperRegion() const { in getSuperRegion() function
|