include/gcc-c-fe.def

   1 /* Interface between GCC C FE and GDB  -*- c -*-
   2
   3    Copyright (C) 2014-2022 Free Software Foundation, Inc.
   4
   5    This file is part of GCC.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20
  21
  22 /* Create a new "decl" in GCC.  A decl is a declaration, basically a
  23    kind of symbol.
  24
  25    NAME is the name of the new symbol.  SYM_KIND is the kind of
  26    symbol being requested.  SYM_TYPE is the new symbol's C type;
  27    except for labels, where this is not meaningful and should be
  28    zero.  If SUBSTITUTION_NAME is not NULL, then a reference to this
  29    decl in the source will later be substituted with a dereference
  30    of a variable of the given name.  Otherwise, for symbols having
  31    an address (e.g., functions), ADDRESS is the address.  FILENAME
  32    and LINE_NUMBER refer to the symbol's source location.  If this
  33    is not known, FILENAME can be NULL and LINE_NUMBER can be 0.
  34    This function returns the new decl.  */
  35
  36 GCC_METHOD7 (gcc_decl, build_decl,
  37              const char *,            /* Argument NAME.  */
  38              enum gcc_c_symbol_kind,  /* Argument SYM_KIND.  */
  39              gcc_type,                /* Argument SYM_TYPE.  */
  40              const char *,            /* Argument SUBSTITUTION_NAME.  */
  41              gcc_address,             /* Argument ADDRESS.  */
  42              const char *,            /* Argument FILENAME.  */
  43              unsigned int)            /* Argument LINE_NUMBER.  */
  44
  45 /* Insert a GCC decl into the symbol table.  DECL is the decl to
  46    insert.  IS_GLOBAL is true if this is an outermost binding, and
  47    false if it is a possibly-shadowing binding.  */
  48
  49 GCC_METHOD2 (int /* bool */, bind,
  50              gcc_decl,             /* Argument DECL.  */
  51              int /* bool */)       /* Argument IS_GLOBAL.  */
  52
  53 /* Insert a tagged type into the symbol table.  NAME is the tag name
  54    of the type and TAGGED_TYPE is the type itself.  TAGGED_TYPE must
  55    be either a struct, union, or enum type, as these are the only
  56    types that have tags.  FILENAME and LINE_NUMBER refer to the type's
  57    source location.  If this is not known, FILENAME can be NULL and
  58    LINE_NUMBER can be 0.  */
  59
  60 GCC_METHOD4 (int /* bool */, tagbind,
  61              const char *,            /* Argument NAME.  */
  62              gcc_type,                /* Argument TAGGED_TYPE.  */
  63              const char *,            /* Argument FILENAME.  */
  64              unsigned int)            /* Argument LINE_NUMBER.  */
  65
  66 /* Return the type of a pointer to a given base type.  */
  67
  68 GCC_METHOD1 (gcc_type, build_pointer_type,
  69              gcc_type)                  /* Argument BASE_TYPE.  */
  70
  71 /* Create a new 'struct' type.  Initially it has no fields.  */
  72
  73 GCC_METHOD0 (gcc_type, build_record_type)
  74
  75 /* Create a new 'union' type.  Initially it has no fields.  */
  76
  77 GCC_METHOD0 (gcc_type, build_union_type)
  78
  79 /* Add a field to a struct or union type.  FIELD_NAME is the field's
  80    name.  FIELD_TYPE is the type of the field.  BITSIZE and BITPOS
  81    indicate where in the struct the field occurs.  */
  82
  83 GCC_METHOD5 (int /* bool */, build_add_field,
  84              gcc_type,                     /* Argument RECORD_OR_UNION_TYPE. */
  85              const char *,                 /* Argument FIELD_NAME.  */
  86              gcc_type,                     /* Argument FIELD_TYPE.  */
  87              unsigned long,                /* Argument BITSIZE.  */
  88              unsigned long)                /* Argument BITPOS.  */
  89
  90 /* After all the fields have been added to a struct or union, the
  91    struct or union type must be "finished".  This does some final
  92    cleanups in GCC.  */
  93
  94 GCC_METHOD2 (int /* bool */, finish_record_or_union,
  95              gcc_type,                     /* Argument RECORD_OR_UNION_TYPE. */
  96              unsigned long)                /* Argument SIZE_IN_BYTES.  */
  97
  98 /* Create a new 'enum' type.  The new type initially has no
  99    associated constants.  */
 100
 101 GCC_METHOD1 (gcc_type, build_enum_type,
 102              gcc_type)                      /* Argument UNDERLYING_INT_TYPE. */
 103
 104 /* Add a new constant to an enum type.  NAME is the constant's
 105    name and VALUE is its value.  */
 106
 107 GCC_METHOD3 (int /* bool */, build_add_enum_constant,
 108              gcc_type,                 /* Argument ENUM_TYPE.  */
 109              const char *,             /* Argument NAME.  */
 110              unsigned long)            /* Argument VALUE.  */
 111
 112 /* After all the constants have been added to an enum, the type must
 113    be "finished".  This does some final cleanups in GCC.  */
 114
 115 GCC_METHOD1 (int /* bool */, finish_enum_type,
 116              gcc_type)                 /* Argument ENUM_TYPE.  */
 117
 118 /* Create a new function type.  RETURN_TYPE is the type returned by
 119    the function, and ARGUMENT_TYPES is a vector, of length NARGS, of
 120    the argument types.  IS_VARARGS is true if the function is
 121    varargs.  */
 122
 123 GCC_METHOD3 (gcc_type, build_function_type,
 124              gcc_type,                     /* Argument RETURN_TYPE.  */
 125              const struct gcc_type_array *, /* Argument ARGUMENT_TYPES.  */
 126              int /* bool */)               /* Argument IS_VARARGS.  */
 127
 128 /* Return an integer type with the given properties.
 129    Deprecated in v1, use int_type instead.  */
 130
 131 GCC_METHOD2 (gcc_type, int_type_v0,
 132              int /* bool */,               /* Argument IS_UNSIGNED.  */
 133              unsigned long)                /* Argument SIZE_IN_BYTES.  */
 134
 135 /* Return a floating point type with the given properties.
 136    Deprecated in v1, use float_type instead.  */
 137
 138 GCC_METHOD1 (gcc_type, float_type_v0,
 139              unsigned long)                /* Argument SIZE_IN_BYTES.  */
 140
 141 /* Return the 'void' type.  */
 142
 143 GCC_METHOD0 (gcc_type, void_type)
 144
 145 /* Return the 'bool' type.  */
 146
 147 GCC_METHOD0 (gcc_type, bool_type)
 148
 149 /* Create a new array type.  If NUM_ELEMENTS is -1, then the array
 150    is assumed to have an unknown length.  */
 151
 152 GCC_METHOD2 (gcc_type, build_array_type,
 153              gcc_type,                    /* Argument ELEMENT_TYPE.  */
 154              int)                         /* Argument NUM_ELEMENTS.  */
 155
 156 /* Create a new variably-sized array type.  UPPER_BOUND_NAME is the
 157    name of a local variable that holds the upper bound of the array;
 158    it is one less than the array size.  */
 159
 160 GCC_METHOD2 (gcc_type, build_vla_array_type,
 161              gcc_type,                    /* Argument ELEMENT_TYPE.  */
 162              const char *)                /* Argument UPPER_BOUND_NAME.  */
 163
 164 /* Return a qualified variant of a given base type.  QUALIFIERS says
 165    which qualifiers to use; it is composed of or'd together
 166    constants from 'enum gcc_qualifiers'.  */
 167
 168 GCC_METHOD2 (gcc_type, build_qualified_type,
 169              gcc_type,                        /* Argument UNQUALIFIED_TYPE.  */
 170              enum gcc_qualifiers)             /* Argument QUALIFIERS.  */
 171
 172 /* Build a complex type given its element type.  */
 173
 174 GCC_METHOD1 (gcc_type, build_complex_type,
 175              gcc_type)                    /* Argument ELEMENT_TYPE.  */
 176
 177 /* Build a vector type given its element type and number of
 178    elements.  */
 179
 180 GCC_METHOD2 (gcc_type, build_vector_type,
 181              gcc_type,                    /* Argument ELEMENT_TYPE.  */
 182              int)                         /* Argument NUM_ELEMENTS.  */
 183
 184 /* Build a constant.  NAME is the constant's name and VALUE is its
 185    value.  FILENAME and LINE_NUMBER refer to the type's source
 186    location.  If this is not known, FILENAME can be NULL and
 187    LINE_NUMBER can be 0.  */
 188
 189 GCC_METHOD5 (int /* bool */, build_constant,
 190              gcc_type,            /* Argument TYPE.  */
 191              const char *,        /* Argument NAME.  */
 192              unsigned long,       /* Argument VALUE.  */
 193              const char *,        /* Argument FILENAME.  */
 194              unsigned int)        /* Argument LINE_NUMBER.  */
 195
 196 /* Emit an error and return an error type object.  */
 197
 198 GCC_METHOD1 (gcc_type, error,
 199              const char *)               /* Argument MESSAGE.  */
 200
 201 /* Return an integer type with the given properties.  If BUILTIN_NAME
 202    is non-NULL, it must name a builtin integral type with the given
 203    signedness and size, and that is the type that will be returned.  */
 204
 205 GCC_METHOD3 (gcc_type, int_type,
 206              int /* bool */,               /* Argument IS_UNSIGNED.  */
 207              unsigned long,                /* Argument SIZE_IN_BYTES.  */
 208              const char *)                 /* Argument BUILTIN_NAME.  */
 209
 210 /* Return the 'char' type, a distinct type from both 'signed char' and
 211    'unsigned char' returned by int_type.  */
 212
 213 GCC_METHOD0 (gcc_type, char_type)
 214
 215 /* Return a floating point type with the given properties.  If BUILTIN_NAME
 216    is non-NULL, it must name a builtin integral type with the given
 217    signedness and size, and that is the type that will be returned.  */
 218
 219 GCC_METHOD2 (gcc_type, float_type,
 220              unsigned long,                /* Argument SIZE_IN_BYTES.  */
 221              const char *)                 /* Argument BUILTIN_NAME.  */
 222