Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp138 r = sr->getSuperRegion(); in isSubRegionOf()
148 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
339 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
391 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile()
402 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
416 ProfileRegion(ID, Ex, ExD, getSuperRegion()); in Profile()
557 if (isa<HeapSpaceRegion>(getSuperRegion())) in dumpToStream()
750 R = ER->getSuperRegion(); in getDescriptiveName()
1285 Super = cast<SubRegion>(Base->getSuperRegion()); in getCXXBaseObjectRegion()
1333 R = SR->getSuperRegion(); in getMemorySpace()
[all …]
H A DStore.cpp289 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
293 DerivedReg = AlreadyDerivedReg->getSuperRegion(); in evalDerivedToBase()
350 MR = BaseR->getSuperRegion(); in evalBaseToDerived()
515 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx)); in getLValueElement()
526 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion()); in getLValueElement()
H A DRegionStore.cpp818 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
1577 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding()
1584 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding()
1594 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding()
1642 Base = ER->getSuperRegion(); in getElementRegionOffsetsWithBase()
1914 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
1969 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
2107 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
2134 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon()
2167 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
[all …]
H A DSVals.cpp92 R = SR->getSuperRegion(); in getLocSymbolInBase()
H A DSymbolManager.cpp414 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DProgramState.cpp648 const MemRegion *Super = SR->getSuperRegion(); in scan()
H A DBugReporterVisitors.cpp834 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
1477 TVR = cast<TypedValueRegion>(TVR->getSuperRegion()); in tryExtractInitializerFromList()
1611 SR = cast<SubRegion>(SR->getSuperRegion()); in VisitNode()
H A DExprEngineCXX.cpp496 V = loc::MemRegionVal(EL->getSuperRegion()); in updateObjectsUnderConstruction()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp67 const MemRegion *SuperReg = ElemReg->getSuperRegion(); in checkArrayBounds()
140 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()
141 const MemRegion *SuperRR = ElemRR->getSuperRegion(); in checkPreStmt()
H A DObjCSuperDeallocChecker.cpp154 R = SR->getSuperRegion(); in checkLocation()
H A DNullabilityChecker.cpp330 if (const auto *ER = dyn_cast<ElementRegion>(FieldReg->getSuperRegion())) in getTrackRegion()
332 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
335 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
H A DCheckPlacementNew.cpp185 SuperRegion = cast<SubRegion>(SuperRegion)->getSuperRegion(); in checkElementRegionAlign()
H A DCheckObjCDealloc.cpp526 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
628 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
H A DCStringChecker.cpp449 const auto *SuperR = ER->getSuperRegion()->getAs<TypedValueRegion>(); in checkInit()
573 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1195 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in isFirstBufInBound()
1286 R = ER->getSuperRegion(); in invalidateBufferAux()
2777 MR = SR->getSuperRegion(); in checkRegionChanges()
2795 Super = SR->getSuperRegion(); in checkRegionChanges()
H A DTaint.cpp243 getTaintedSymbolsImpl(State, ER->getSuperRegion(), K, returnFirstOnly); in getTaintedSymbolsImpl()
H A DValistChecker.cpp182 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
H A DArrayBoundCheckerV2.cpp209 OwnerRegion = CurRegion->getSuperRegion()->getAs<SubRegion>(); in computeOffset()
H A DMallocChecker.cpp2278 MR = ER->getSuperRegion(); in HandleNonHeapDealloc()
2597 MR = ER->getSuperRegion(); in HandleFunctionPtrFree()
3035 if (VR->getSuperRegion() == R) { in checkPostStmt()
H A DStreamChecker.cpp1083 Buffer = dyn_cast<SubRegion>(ER->getSuperRegion()); in tryToInvalidateFReadBufferByElements()
/freebsd/contrib/llvm-project/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()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp264 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp171 if (VR->getSuperRegion() == R) { in checkPostStmt()
489 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h459 const MemRegion* getSuperRegion() const { in getSuperRegion() function