Searched refs:TypedRegion (Results 1 - 10 of 10) sorted by relevance
| /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())))
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 33 if (const TypedRegion *TR = dyn_cast_or_null<TypedRegion>(MR))
|
| H A D | DynamicType.cpp | 48 if (const auto *TR = dyn_cast<TypedRegion>(MR))
|
| H A D | RegionStore.cpp | 515 const TypedRegion *R,
1472 if (const TypedRegion *TR = dyn_cast<TypedRegion>(MR))
2492 const TypedRegion *R,
|
| H A D | MemRegion.cpp | 431 void TypedRegion::anchor() {}
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | InnerPointerChecker.cpp | 293 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); local
294 QualType ObjTy = TypedRegion->getValueType();
|
| H A D | MacOSKeychainAPIChecker.cpp | 203 isa<TypedRegion>(Arg);
|
| H A D | BasicObjCFoundationChecks.cpp | 351 void EmitError(const TypedRegion* R, const Expr *Ex,
|
| H A D | MallocChecker.cpp | 3238 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); local
3239 QualType ObjTy = TypedRegion->getValueType();
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 505 /// TypedRegion - An abstract class representing regions that are typed.
506 class TypedRegion : public SubRegion { class in namespace:clang::ento
510 TypedRegion(const MemRegion *sReg, Kind k) : SubRegion(sReg, k) { function in class:clang::ento::TypedRegion
530 class TypedValueRegion : public TypedRegion {
534 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
563 class CodeTextRegion : public TypedRegion {
567 CodeTextRegion(const MemSpaceRegion *sreg, Kind k) : TypedRegion(sreg, k) {
673 class BlockDataRegion : public TypedRegion {
684 : TypedRegion(sreg, BlockDataRegionKind), BC(bc), LC(lc),
|
Completed in 120 milliseconds