Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp71 if (ElemLR && ElemLR->getSuperRegion() == RR) in checkPreStmt()
74 if (ElemRR && ElemRR->getSuperRegion() == LR) in checkPreStmt()
81 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()
82 const MemRegion *SuperRR = ElemRR->getSuperRegion(); in checkPreStmt()
H A DUndefResultChecker.cpp54 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
H A DMacOSXAPIChecker.cpp59 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
H A DObjCSuperDeallocChecker.cpp154 R = SR->getSuperRegion(); in checkLocation()
H A DNullabilityChecker.cpp327 if (const auto *ER = dyn_cast<ElementRegion>(FieldReg->getSuperRegion())) in getTrackRegion()
329 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
332 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.cpp450 const auto *SuperR = ER->getSuperRegion()->getAs<TypedValueRegion>(); in checkInit()
578 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
1201 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in isFirstBufInBound()
1292 R = ER->getSuperRegion(); in invalidateBufferAux()
2816 MR = SR->getSuperRegion(); in checkRegionChanges()
2834 Super = SR->getSuperRegion(); in checkRegionChanges()
H A DTaint.cpp251 getTaintedSymbolsImpl(State, ER->getSuperRegion(), K, returnFirstOnly); in getTaintedSymbolsImpl()
H A DBlockInCriticalSectionChecker.cpp304 Reg = BaseClassRegion->getSuperRegion(); in skipStdBaseClassRegion()
H A DValistChecker.cpp182 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
H A DArrayBoundChecker.cpp225 OwnerRegion = CurRegion->getSuperRegion()->getAs<SubRegion>(); in computeOffset()
H A DMallocChecker.cpp2529 MR = ER->getSuperRegion(); in HandleNonHeapDealloc()
2783 MR = ER->getSuperRegion(); in HandleFunctionPtrFree()
3237 if (VR->getSuperRegion() == R) { in checkPostStmt()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp147 r = sr->getSuperRegion(); in isSubRegionOf()
157 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
348 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
400 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile()
411 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
425 ProfileRegion(ID, Ex, ExD, getSuperRegion()); in Profile()
566 if (isa<HeapSpaceRegion>(getSuperRegion())) in dumpToStream()
766 R = ER->getSuperRegion(); in getDescriptiveName()
779 std::string Super = FR->getSuperRegion()->getDescriptiveName(false); in getDescriptiveName()
1332 Super = cast<SubRegion>(Base->getSuperRegion()); in getCXXBaseObjectRegion()
[all …]
H A DStore.cpp291 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
295 DerivedReg = AlreadyDerivedReg->getSuperRegion(); in evalDerivedToBase()
352 MR = BaseR->getSuperRegion(); in evalBaseToDerived()
514 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx)); in getLValueElement()
524 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion()); in getLValueElement()
H A DRegionStore.cpp988 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
1736 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding()
1743 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding()
1753 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding()
1801 Base = ER->getSuperRegion(); in getElementRegionOffsetsWithBase()
2073 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
2128 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
2266 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
2293 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon()
2326 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
[all …]
H A DSimpleSValBuilder.cpp735 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion()
1002 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL()
1171 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
H A DSVals.cpp91 R = SR->getSuperRegion(); in getLocSymbolInBase()
H A DSymbolManager.cpp291 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
H A DProgramState.cpp648 const MemRegion *Super = SR->getSuperRegion(); in scan()
H A DBugReporterVisitors.cpp741 R = cast<SubRegion>(R)->getSuperRegion(); in prettyPrintRegionName()
1429 TVR = cast<TypedValueRegion>(TVR->getSuperRegion()); in tryExtractInitializerFromList()
1563 SR = cast<SubRegion>(SR->getSuperRegion()); in VisitNode()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h56 if (const auto *SR = R->getSuperRegion()->getAs<SymbolicRegion>()) { in isThisObject()
213 OS << " of " + Visit(R->getSuperRegion()); in VisitElementRegion()
236 Visit(R->getSuperRegion()); in VisitObjCIvarRegion()
241 Visit(R->getSuperRegion()); in VisitFieldRegion()
251 "' inside " + Visit(R->getSuperRegion()); in VisitCXXBaseObjectRegion()
/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()
153 SuperRegion = cast<SubRegion>(ER->getSuperRegion()); in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp260 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp170 if (VR->getSuperRegion() == R) { in checkPostStmt()
488 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()

12