Home
last modified time | relevance | path

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

12

/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
HDSValExplainer.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()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDMemRegion.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 …]
HDStore.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()
HDRegionStore.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 …]
HDSimpleSValBuilder.cpp733 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion()
999 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL()
1168 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
HDSVals.cpp92 R = SR->getSuperRegion(); in getLocSymbolInBase()
HDSymbolManager.cpp414 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
HDProgramState.cpp648 const MemRegion *Super = SR->getSuperRegion(); in scan()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDPointerSubChecker.cpp67 const MemRegion *SuperReg = ElemReg->getSuperRegion(); in checkArrayBounds()
140 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()
141 const MemRegion *SuperRR = ElemRR->getSuperRegion(); in checkPreStmt()
HDReturnPointerRangeChecker.cpp66 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkPreStmt()
92 const auto *DeclR = ER->getSuperRegion()->getAs<DeclRegion>(); in checkPreStmt()
HDArrayBoundChecker.cpp59 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkLocation()
HDPointerArithChecker.cpp123 Region = BaseRegion->getSuperRegion(); in getArrayRegion()
127 Region = ElemRegion->getSuperRegion(); in getArrayRegion()
HDUndefResultChecker.cpp55 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
HDMacOSXAPIChecker.cpp62 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
HDObjCSuperDeallocChecker.cpp154 R = SR->getSuperRegion(); in checkLocation()
HDNullabilityChecker.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()
HDCheckPlacementNew.cpp185 SuperRegion = cast<SubRegion>(SuperRegion)->getSuperRegion(); in checkElementRegionAlign()
HDCheckObjCDealloc.cpp526 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
628 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
HDCStringChecker.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()
HDTaint.cpp243 getTaintedSymbolsImpl(State, ER->getSuperRegion(), K, returnFirstOnly); in getTaintedSymbolsImpl()
HDValistChecker.cpp182 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
HDArrayBoundCheckerV2.cpp209 OwnerRegion = CurRegion->getSuperRegion()->getAs<SubRegion>(); in computeOffset()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
HDMPIChecker.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-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
HDUninitializedPointee.cpp264 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountChecker.cpp171 if (VR->getSuperRegion() == R) { in checkPostStmt()
489 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()

12