| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 178 OS << " of " + Visit(R->getSuperRegion());
201 Visit(R->getSuperRegion());
206 Visit(R->getSuperRegion());
216 "' inside " + Visit(R->getSuperRegion());
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ReturnPointerRangeChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | ArrayBoundChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | MacOSXAPIChecker.cpp | 60 SR = dyn_cast<SubRegion>(SR->getSuperRegion());
|
| H A D | Taint.cpp | 166 return isTainted(State, ER->getSuperRegion(), K) ||
173 return isTainted(State, ER->getSuperRegion(), K);
|
| H A D | UndefResultChecker.cpp | 54 state, ER->getSuperRegion(), ER->getValueType());
|
| H A D | PointerArithChecker.cpp | 123 Region = BaseRegion->getSuperRegion();
127 Region = ElemRegion->getSuperRegion();
|
| H A D | ObjCSuperDeallocChecker.cpp | 152 R = SR->getSuperRegion();
|
| H A D | ArrayBoundCheckerV2.cpp | 347 region = elemReg->getSuperRegion();
|
| H A D | ValistChecker.cpp | 183 return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg;
|
| H A D | CheckObjCDealloc.cpp | 518 if (SelfRegion != IvarRegion->getSuperRegion())
620 IvarRegion->getSuperRegion())
|
| H A D | NullabilityChecker.cpp | 285 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
287 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());
|
| H A D | CStringChecker.cpp | 329 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
937 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
968 R = ER->getSuperRegion();
2365 MR = SR->getSuperRegion();
2386 Super = SR->getSuperRegion();
|
| H A D | MallocChecker.cpp | 2071 MR = ER->getSuperRegion();
2379 MR = ER->getSuperRegion();
2792 if (VR->getSuperRegion() == R) {
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 36 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
66 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
154 SuperRegion = cast<SubRegion>(ER->getSuperRegion());
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 287 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion()))
291 DerivedReg = AlreadyDerivedReg->getSuperRegion();
350 MR = BaseR->getSuperRegion();
532 elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx));
543 const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion());
|
| H A D | MemRegion.cpp | 138 r = sr->getSuperRegion();
148 const MemRegion *superRegion = r->getSuperRegion();
331 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
383 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion());
394 ProfileRegion(ID, Ex, getSuperRegion());
527 if (isa<HeapSpaceRegion>(getSuperRegion()))
683 R = ER->getSuperRegion();
1085 Super = cast<SubRegion>(Base->getSuperRegion());
1133 R = SR->getSuperRegion();
1169 R = cast<SubRegion>(R)->getSuperRegion();
[all...] |
| H A D | RegionStore.cpp | 833 R = cast<SubRegion>(R)->getSuperRegion();
1640 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()),
1647 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()),
1657 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()),
1678 const MemRegion* superR = R->getSuperRegion();
1794 const MemRegion* superR = R->getSuperRegion();
1915 const MemRegion *Base = SR->getSuperRegion();
1941 dyn_cast<TypedValueRegion>(R->getSuperRegion())) {
1969 const MemRegion *superR = R->getSuperRegion();
2564 cast<StackArgumentsSpaceRegion>(TR->getSuperRegion());
[all...] |
| H A D | SimpleSValBuilder.cpp | 786 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
1023 if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
1181 superR = cast<SubRegion>(elemReg->getSuperRegion());
|
| H A D | SVals.cpp | 113 R = SR->getSuperRegion();
|
| H A D | SymbolManager.cpp | 413 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {
|
| H A D | ProgramState.cpp | 605 const MemRegion *Super = SR->getSuperRegion();
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedPointee.cpp | 265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion());
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 172 if (VR->getSuperRegion() == R) {
490 cast<SubRegion>(MR)->getSuperRegion());
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 448 const MemRegion* getSuperRegion() const { function in class:clang::ento::SubRegion
|