| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 139 r = sr->getSuperRegion(); in isSubRegionOf()
149 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
326 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
378 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile()
389 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
522 if (isa<HeapSpaceRegion>(getSuperRegion())) in dumpToStream()
696 R = ER->getSuperRegion(); in getDescriptiveName()
1192 Super = cast<SubRegion>(Base->getSuperRegion()); in getCXXBaseObjectRegion()
1240 R = SR->getSuperRegion(); in getMemorySpace()
1276 R = cast<SubRegion>(R)->getSuperRegion(); in getBaseRegion()
[all …]
|
| H A D | Store.cpp | 288 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
292 DerivedReg = AlreadyDerivedReg->getSuperRegion(); in evalDerivedToBase()
351 MR = BaseR->getSuperRegion(); in attemptDownCast()
491 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx)); in getLValueElement()
502 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion()); in getLValueElement()
|
| H A D | SimpleSValBuilder.cpp | 662 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) in evalBinOpFieldRegionFieldRegion()
899 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && in evalBinOpLL()
1066 superR = cast<SubRegion>(elemReg->getSuperRegion()); in evalBinOpLN()
|
| H A D | RegionStore.cpp | 824 R = cast<SubRegion>(R)->getSuperRegion(); in getSymbolicOffsetFields()
1600 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()), in findLazyBinding()
1607 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()), in findLazyBinding()
1617 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()), in findLazyBinding()
1634 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
1750 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
1871 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
1897 dyn_cast<TypedValueRegion>(R->getSuperRegion())) { in getBindingForFieldOrElementCommon()
1925 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
2520 cast<StackArgumentsSpaceRegion>(TR->getSuperRegion()); in VisitAddedToCluster()
|
| H A D | SVals.cpp | 109 R = SR->getSuperRegion(); in getLocSymbolInBase()
|
| H A D | SymbolManager.cpp | 394 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) { in markElementIndicesLive()
|
| H A D | ProgramState.cpp | 609 const MemRegion *Super = SR->getSuperRegion(); in scan()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 179 OS << " of " + Visit(R->getSuperRegion()); in VisitElementRegion()
202 Visit(R->getSuperRegion()); in VisitObjCIvarRegion()
207 Visit(R->getSuperRegion()); in VisitFieldRegion()
217 "' inside " + Visit(R->getSuperRegion()); in VisitCXXBaseObjectRegion()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 37 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()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 166 return isTainted(State, ER->getSuperRegion(), K) || in isTainted()
173 return isTainted(State, ER->getSuperRegion(), K); in isTainted()
|
| H A D | ArrayBoundChecker.cpp | 59 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 59 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkPreStmt()
|
| H A D | PointerArithChecker.cpp | 123 Region = BaseRegion->getSuperRegion(); in getArrayRegion()
127 Region = ElemRegion->getSuperRegion(); in getArrayRegion()
|
| H A D | MacOSXAPIChecker.cpp | 60 SR = dyn_cast<SubRegion>(SR->getSuperRegion()); in getParentIvarRegion()
|
| H A D | UndefResultChecker.cpp | 55 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
|
| H A D | ObjCSuperDeallocChecker.cpp | 153 R = SR->getSuperRegion(); in checkLocation()
|
| H A D | CheckPlacementNew.cpp | 185 SuperRegion = cast<SubRegion>(SuperRegion)->getSuperRegion(); in checkElementRegionAlign()
|
| H A D | ArrayBoundCheckerV2.cpp | 347 region = elemReg->getSuperRegion(); in computeOffset()
|
| H A D | CheckObjCDealloc.cpp | 518 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
620 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
|
| H A D | CStringChecker.cpp | 347 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation()
925 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound()
954 R = ER->getSuperRegion(); in InvalidateBuffer()
2374 MR = SR->getSuperRegion(); in checkRegionChanges()
2395 Super = SR->getSuperRegion(); in checkRegionChanges()
|
| H A D | ValistChecker.cpp | 183 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg; in getVAListAsRegion()
|
| H A D | NullabilityChecker.cpp | 289 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
291 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
|
| H A D | MallocChecker.cpp | 2022 MR = ER->getSuperRegion(); in HandleNonHeapDealloc()
2340 MR = ER->getSuperRegion(); in HandleFunctionPtrFree()
2773 if (VR->getSuperRegion() == R) { in checkPostStmt()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedPointee.cpp | 265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 172 if (VR->getSuperRegion() == R) { in checkPostStmt()
490 cast<SubRegion>(MR)->getSuperRegion()); in isSmartPtrField()
|