Home
last modified time | relevance | path

Searched refs:getSuperRegion (Results 1 – 25 of 28) sorted by relevance

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp140 r = sr->getSuperRegion(); in isSubRegionOf()
392 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
525 if (isa<HeapSpaceRegion>(getSuperRegion())) in dumpToStream()
699 R = ER->getSuperRegion(); in getDescriptiveName()
1266 R = SR->getSuperRegion(); in getMemorySpace()
1315 R = BR->getSuperRegion(); in getMostDerivedObjectRegion()
1335 R = ER->getSuperRegion(); in StripCasts()
1370 superR = ER->getSuperRegion(); in getAsArrayOffset()
1475 R = BOR->getSuperRegion(); in calculateOffset()
1532 R = ER->getSuperRegion(); in calculateOffset()
[all …]
H A DStore.cpp290 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
294 DerivedReg = AlreadyDerivedReg->getSuperRegion(); in evalDerivedToBase()
350 MR = BaseR->getSuperRegion(); in evalBaseToDerived()
505 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx)); in getLValueElement()
516 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion()); in getLValueElement()
H A DRegionStore.cpp813 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
1589 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding()
1596 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding()
1606 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding()
1654 Base = ER->getSuperRegion(); in getElementRegionOffsetsWithBase()
1921 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
1976 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
2116 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
2142 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon()
2175 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
[all …]
H A DSimpleSValBuilder.cpp705 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion()
972 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL()
1139 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
H A DSVals.cpp92 R = SR->getSuperRegion(); in getLocSymbolInBase()
H A DSymbolManager.cpp420 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DProgramState.cpp620 const MemRegion *Super = SR->getSuperRegion(); in scan()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h183 OS << " of " + Visit(R->getSuperRegion()); in VisitElementRegion()
206 Visit(R->getSuperRegion()); in VisitObjCIvarRegion()
211 Visit(R->getSuperRegion()); in VisitFieldRegion()
221 "' inside " + Visit(R->getSuperRegion()); in VisitCXXBaseObjectRegion()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp37 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion()))) in checkDoubleNonblocking()
67 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion()))) in checkUnmatchedWaits()
155 SuperRegion = cast<SubRegion>(ER->getSuperRegion()); in allRegionsUsedByWait()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DReturnPointerRangeChecker.cpp60 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkPreStmt()
91 const auto *DeclR = ER->getSuperRegion()->getAs<DeclRegion>(); in checkPreStmt()
H A DArrayBoundChecker.cpp59 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkLocation()
H A DTaint.cpp168 return isTainted(State, ER->getSuperRegion(), K) || in isTainted()
175 return isTainted(State, ER->getSuperRegion(), K); in isTainted()
H A DPointerArithChecker.cpp123 Region = BaseRegion->getSuperRegion(); in getArrayRegion()
127 Region = ElemRegion->getSuperRegion(); in getArrayRegion()
H A DMacOSXAPIChecker.cpp60 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
H A DUndefResultChecker.cpp55 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
H A DObjCSuperDeallocChecker.cpp153 R = SR->getSuperRegion(); in checkLocation()
H A DArrayBoundCheckerV2.cpp346 region = elemReg->getSuperRegion(); in computeOffset()
H A DCheckPlacementNew.cpp185 SuperRegion = cast<SubRegion>(SuperRegion)->getSuperRegion(); in checkElementRegionAlign()
H A DCheckObjCDealloc.cpp518 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
620 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
H A DCStringChecker.cpp383 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
991 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
1020 R = ER->getSuperRegion(); in InvalidateBuffer()
2441 MR = SR->getSuperRegion(); in checkRegionChanges()
2462 Super = SR->getSuperRegion(); in checkRegionChanges()
H A DValistChecker.cpp184 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
H A DNullabilityChecker.cpp289 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
291 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
H A DMallocChecker.cpp2234 MR = ER->getSuperRegion(); in HandleNonHeapDealloc()
2553 MR = ER->getSuperRegion(); in HandleFunctionPtrFree()
2989 if (VR->getSuperRegion() == R) { in checkPostStmt()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp263 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp172 if (VR->getSuperRegion() == R) { in checkPostStmt()
490 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()

12