Warning, /include/clang/StaticAnalyzer/Core/PathSensitive/Regions.def is written in an unsupported language. File is not indexed.
0001 //===-- Regions.def - Metadata about MemRegion kinds ------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 // The list of regions (MemRegion sub-classes) used in the Static Analyzer.
0010 // In order to use this information, users of this file must define one or more
0011 // of the three macros:
0012 //
0013 // REGION(Id, Parent) - for specific MemRegion sub-classes, reserving
0014 // enum value IdKind for their kind.
0015 //
0016 // ABSTRACT_REGION(Id, Parent) - for abstract region classes,
0017 //
0018 // REGION_RANGE(Id, First, Last) - for ranges of kind-enums,
0019 // allowing to determine abstract class of a region
0020 // based on the kind-enum value.
0021 //
0022 //===----------------------------------------------------------------------===//
0023
0024 #ifndef REGION
0025 #define REGION(Id, Parent)
0026 #endif
0027
0028 #ifndef ABSTRACT_REGION
0029 #define ABSTRACT_REGION(Id, Parent)
0030 #endif
0031
0032 #ifndef REGION_RANGE
0033 #define REGION_RANGE(Id, First, Last)
0034 #endif
0035
0036 ABSTRACT_REGION(MemSpaceRegion, MemRegion)
0037 REGION(CodeSpaceRegion, MemSpaceRegion)
0038 ABSTRACT_REGION(GlobalsSpaceRegion, MemSpaceRegion)
0039 ABSTRACT_REGION(NonStaticGlobalSpaceRegion, GlobalsSpaceRegion)
0040 REGION(GlobalImmutableSpaceRegion, NonStaticGlobalSpaceRegion)
0041 REGION(GlobalInternalSpaceRegion, NonStaticGlobalSpaceRegion)
0042 REGION(GlobalSystemSpaceRegion, NonStaticGlobalSpaceRegion)
0043 REGION_RANGE(NON_STATIC_GLOBAL_MEMSPACES, GlobalImmutableSpaceRegionKind,
0044 GlobalSystemSpaceRegionKind)
0045 REGION(StaticGlobalSpaceRegion, MemSpaceRegion)
0046 REGION_RANGE(GLOBAL_MEMSPACES, GlobalImmutableSpaceRegionKind,
0047 StaticGlobalSpaceRegionKind)
0048 REGION(HeapSpaceRegion, MemSpaceRegion)
0049 ABSTRACT_REGION(StackSpaceRegion, MemSpaceRegion)
0050 REGION(StackArgumentsSpaceRegion, StackSpaceRegion)
0051 REGION(StackLocalsSpaceRegion, StackSpaceRegion)
0052 REGION_RANGE(STACK_MEMSPACES, StackArgumentsSpaceRegionKind,
0053 StackLocalsSpaceRegionKind)
0054 REGION(UnknownSpaceRegion, MemSpaceRegion)
0055 REGION_RANGE(MEMSPACES, CodeSpaceRegionKind,
0056 UnknownSpaceRegionKind)
0057 ABSTRACT_REGION(SubRegion, MemRegion)
0058 REGION(AllocaRegion, SubRegion)
0059 REGION(SymbolicRegion, SubRegion)
0060 ABSTRACT_REGION(TypedRegion, SubRegion)
0061 REGION(BlockDataRegion, TypedRegion)
0062 ABSTRACT_REGION(CodeTextRegion, TypedRegion)
0063 REGION(BlockCodeRegion, CodeTextRegion)
0064 REGION(FunctionCodeRegion, CodeTextRegion)
0065 REGION_RANGE(CODE_TEXT_REGIONS, BlockCodeRegionKind,
0066 FunctionCodeRegionKind)
0067 ABSTRACT_REGION(TypedValueRegion, TypedRegion)
0068 REGION(CompoundLiteralRegion, TypedValueRegion)
0069 REGION(CXXBaseObjectRegion, TypedValueRegion)
0070 REGION(CXXDerivedObjectRegion, TypedValueRegion)
0071 REGION(CXXTempObjectRegion, TypedValueRegion)
0072 REGION(CXXLifetimeExtendedObjectRegion, TypedValueRegion)
0073 REGION(CXXThisRegion, TypedValueRegion)
0074 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
0075 REGION(FieldRegion, DeclRegion)
0076 REGION(ObjCIvarRegion, DeclRegion)
0077 ABSTRACT_REGION(VarRegion, DeclRegion)
0078 REGION(NonParamVarRegion, VarRegion)
0079 REGION(ParamVarRegion, VarRegion)
0080 REGION_RANGE(VAR_REGIONS, NonParamVarRegionKind,
0081 ParamVarRegionKind)
0082 REGION_RANGE(DECL_REGIONS, FieldRegionKind,
0083 ParamVarRegionKind)
0084 REGION(ElementRegion, TypedValueRegion)
0085 REGION(ObjCStringRegion, TypedValueRegion)
0086 REGION(StringRegion, TypedValueRegion)
0087 REGION_RANGE(TYPED_VALUE_REGIONS, CompoundLiteralRegionKind,
0088 StringRegionKind)
0089 REGION_RANGE(TYPED_REGIONS, BlockDataRegionKind,
0090 StringRegionKind)
0091
0092 #undef REGION_RANGE
0093 #undef ABSTRACT_REGION
0094 #undef REGION
