Home
last modified time | relevance | path

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

12

/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h47 if (const auto *SR = R->getSuperRegion()->getAs<SymbolicRegion>()) { in isThisObject()
202 OS << " of " + Visit(R->getSuperRegion()); in VisitElementRegion()
225 Visit(R->getSuperRegion()); in VisitObjCIvarRegion()
230 Visit(R->getSuperRegion()); in VisitFieldRegion()
240 "' inside " + Visit(R->getSuperRegion()); in VisitCXXBaseObjectRegion()
/openbsd/gnu/llvm/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()
1282 R = SR->getSuperRegion(); in getMemorySpace()
1330 R = BR->getSuperRegion(); in getMostDerivedObjectRegion()
1350 R = ER->getSuperRegion(); in StripCasts()
1385 superR = ER->getSuperRegion(); in getAsArrayOffset()
1490 R = BOR->getSuperRegion(); in calculateOffset()
1547 R = ER->getSuperRegion(); in calculateOffset()
[all …]
H A DStore.cpp290 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
294 DerivedReg = AlreadyDerivedReg->getSuperRegion(); in evalDerivedToBase()
351 MR = BaseR->getSuperRegion(); in evalBaseToDerived()
506 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx)); in getLValueElement()
517 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion()); in getLValueElement()
H A DRegionStore.cpp819 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
1590 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding()
1597 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding()
1607 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding()
1655 Base = ER->getSuperRegion(); in getElementRegionOffsetsWithBase()
1927 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
1982 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
2120 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
2147 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon()
2180 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
[all …]
H A DSimpleSValBuilder.cpp706 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion()
973 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL()
1142 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
H A DSVals.cpp92 R = SR->getSuperRegion(); in getLocSymbolInBase()
H A DSymbolManager.cpp424 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DProgramState.cpp619 const MemRegion *Super = SR->getSuperRegion(); in scan()
H A DBugReporterVisitors.cpp804 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
1448 TVR = cast<TypedValueRegion>(TVR->getSuperRegion()); in tryExtractInitializerFromList()
1582 SR = cast<SubRegion>(SR->getSuperRegion()); in VisitNode()
/openbsd/gnu/llvm/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()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DReturnPointerRangeChecker.cpp64 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkPreStmt()
95 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.cpp169 return isTainted(State, ER->getSuperRegion(), K) || in isTainted()
176 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 DNullabilityChecker.cpp322 if (const auto *ER = dyn_cast<ElementRegion>(FieldReg->getSuperRegion())) in getTrackRegion()
324 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
327 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
H A DCheckPlacementNew.cpp185 SuperRegion = cast<SubRegion>(SuperRegion)->getSuperRegion(); in checkElementRegionAlign()
H A DArrayBoundCheckerV2.cpp347 region = elemReg->getSuperRegion(); in computeOffset()
H A DCheckObjCDealloc.cpp519 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
621 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
H A DCStringChecker.cpp407 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1015 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
1044 R = ER->getSuperRegion(); in InvalidateBuffer()
2468 MR = SR->getSuperRegion(); in checkRegionChanges()
2489 Super = SR->getSuperRegion(); in checkRegionChanges()
H A DValistChecker.cpp183 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp264 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp173 if (VR->getSuperRegion() == R) { in checkPostStmt()
491 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()

12