include/gcc-cp-interface.h

   1 /* Interface between GCC C++ FE and GDB
   2
   3    Copyright (C) 2014-2017 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 #ifndef GCC_CP_INTERFACE_H
  21 #define GCC_CP_INTERFACE_H
  22
  23 #include "gcc-interface.h"
  24
  25 /* This header defines the interface to the GCC API.  It must be both
  26    valid C and valid C++, because it is included by both programs.  */
  27
  28 #ifdef __cplusplus
  29 extern "C" {
  30 #endif
  31
  32 /* Forward declaration.  */
  33
  34 struct gcc_cp_context;
  35
  36 /*
  37  * Definitions and declarations for the C++ front end.
  38  */
  39
  40 /* Defined versions of the C++ front-end API.  */
  41
  42 enum gcc_cp_api_version
  43 {
  44   GCC_CP_FE_VERSION_0 = 0
  45 };
  46
  47 /* Qualifiers.  */
  48
  49 enum gcc_cp_qualifiers
  50 {
  51   GCC_CP_QUALIFIER_CONST = 1,
  52   GCC_CP_QUALIFIER_VOLATILE = 2,
  53   GCC_CP_QUALIFIER_RESTRICT = 4
  54 };
  55
  56 /* Ref qualifiers.  */
  57
  58 enum gcc_cp_ref_qualifiers {
  59   GCC_CP_REF_QUAL_NONE = 0,
  60   GCC_CP_REF_QUAL_LVALUE = 1,
  61   GCC_CP_REF_QUAL_RVALUE = 2
  62 };
  63
  64 /* Opaque typedef for unbound class templates.  They are used for
  65    template arguments, and defaults for template template
  66    parameters.  */
  67
  68 typedef unsigned long long gcc_utempl;
  69
  70 /* Opaque typedef for expressions.  They are used for template
  71    arguments, defaults for non-type template parameters, and defaults
  72    for function arguments.  */
  73
  74 typedef unsigned long long gcc_expr;
  75
  76 typedef enum
  77   { GCC_CP_TPARG_VALUE, GCC_CP_TPARG_CLASS,
  78     GCC_CP_TPARG_TEMPL, GCC_CP_TPARG_PACK }
  79 gcc_cp_template_arg_kind;
  80
  81 typedef union
  82 { gcc_expr value; gcc_type type; gcc_utempl templ; gcc_type pack; }
  83 gcc_cp_template_arg;
  84
  85 /* An array of template arguments.  */
  86
  87 struct gcc_cp_template_args
  88 {
  89   /* Number of elements.  */
  90
  91   int n_elements;
  92
  93   /* kind[i] indicates what kind of template argument type[i] is.  */
  94
  95   char /* gcc_cp_template_arg_kind */ *kinds;
  96
  97   /* The template arguments.  */
  98
  99   gcc_cp_template_arg *elements;
 100 };
 101
 102 /* An array of (default) function arguments.  */
 103
 104 struct gcc_cp_function_args
 105 {
 106   /* Number of elements.  */
 107
 108   int n_elements;
 109
 110   /* The (default) values for each argument.  */
 111
 112   gcc_expr *elements;
 113 };
 114
 115 /* This enumerates the kinds of decls that GDB can create.  */
 116
 117 enum gcc_cp_symbol_kind
 118 {
 119   /* A function.  */
 120
 121   GCC_CP_SYMBOL_FUNCTION,
 122
 123   /* A variable.  */
 124
 125   GCC_CP_SYMBOL_VARIABLE,
 126
 127   /* A typedef, or an alias declaration (including template ones).  */
 128
 129   GCC_CP_SYMBOL_TYPEDEF,
 130
 131   /* A label.  */
 132
 133   GCC_CP_SYMBOL_LABEL,
 134
 135   /* A class, forward declared in build_decl (to be later defined in
 136      start_class_definition), or, in a template parameter list scope,
 137      a declaration of a template class, closing the parameter
 138      list.  */
 139
 140   GCC_CP_SYMBOL_CLASS,
 141
 142   /* A union, forward declared in build_decl (to be later defined in
 143      start_class_definition).  */
 144
 145   GCC_CP_SYMBOL_UNION,
 146
 147   /* An enumeration type being introduced with start_new_enum_type.  */
 148
 149   GCC_CP_SYMBOL_ENUM,
 150
 151   /* A nonstatic data member being introduced with new_field.  */
 152
 153   GCC_CP_SYMBOL_FIELD,
 154
 155   /* A base class in a gcc_vbase_array.  */
 156
 157   GCC_CP_SYMBOL_BASECLASS,
 158
 159   /* A using declaration in new_using_decl.  */
 160
 161   GCC_CP_SYMBOL_USING,
 162
 163   /* A (lambda) closure class type.  In many regards this is just like
 164      a regular class, but it's not supposed to have base classes, some
 165      of the member functions that are usually implicitly-defined are
 166      deleted, and it should have an operator() member function that
 167      holds the lambda body.  We can't instantiate objects of lambda
 168      types from the snippet, but we can interact with them in such
 169      ways as passing them to functions that take their types, and
 170      calling their body.  */
 171
 172   GCC_CP_SYMBOL_LAMBDA_CLOSURE,
 173
 174   /* Marker to check that we haven't exceeded GCC_CP_SYMBOL_MASK.  */
 175   GCC_CP_SYMBOL_END,
 176
 177   GCC_CP_SYMBOL_MASK = 15,
 178
 179   /* When defining a class member, at least one of the
 180      GCC_CP_ACCESS_MASK bits must be set; when defining a namespace-
 181      or union-scoped symbol, none of them must be set.  */
 182
 183   GCC_CP_ACCESS_PRIVATE,
 184   GCC_CP_ACCESS_PUBLIC = GCC_CP_ACCESS_PRIVATE << 1,
 185   GCC_CP_ACCESS_MASK = (GCC_CP_ACCESS_PUBLIC
 186                                | GCC_CP_ACCESS_PRIVATE),
 187   GCC_CP_ACCESS_PROTECTED = GCC_CP_ACCESS_MASK,
 188   GCC_CP_ACCESS_NONE = 0,
 189
 190   GCC_CP_FLAG_BASE = GCC_CP_ACCESS_PRIVATE << 2,
 191
 192   /* Flags to be used along with GCC_CP_SYMBOL_FUNCTION:  */
 193
 194   /* This flag should be set for constructors, destructors and
 195      operators.  */
 196   GCC_CP_FLAG_SPECIAL_FUNCTION = GCC_CP_FLAG_BASE,
 197
 198   /* We intentionally cannot express inline, constexpr, or virtual
 199      override for functions.  We can't inline or constexpr-replace
 200      without a source-level body.  The override keyword is only
 201      meaningful within the definition of the containing class.  */
 202
 203   /* This indicates a "virtual" member function, explicitly or
 204      implicitly (due to a virtual function with the same name and
 205      prototype in a base class) declared as such.  */
 206   GCC_CP_FLAG_VIRTUAL_FUNCTION = GCC_CP_FLAG_BASE << 1,
 207
 208   /* The following two flags should only be set when the flag above is
 209      set.  */
 210
 211   /* This indicates a pure virtual member function, i.e., one that is
 212      declared with "= 0", even if a body is provided in the
 213      definition.  */
 214   GCC_CP_FLAG_PURE_VIRTUAL_FUNCTION = GCC_CP_FLAG_BASE << 2,
 215
 216   /* This indicates a "final" virtual member function.  */
 217   GCC_CP_FLAG_FINAL_VIRTUAL_FUNCTION = GCC_CP_FLAG_BASE << 3,
 218
 219   /* This indicates a special member function should have its default
 220      implementation.  This either means the function declaration
 221      contains the "= default" tokens, or that the member function was
 222      implicitly generated by the compiler, although the latter use is
 223      discouraged: just let the compiler implicitly introduce it.
 224
 225      A member function defaulted after its first declaration has
 226      slightly different ABI implications from one implicitly generated
 227      or explicitly defaulted at the declaration (and definition)
 228      point.  To avoid silent (possibly harmless) violation of the one
 229      definition rule, it is recommended that this flag not be used for
 230      such functions, and that the address of the definition be
 231      supplied instead.  */
 232   GCC_CP_FLAG_DEFAULTED_FUNCTION = GCC_CP_FLAG_BASE << 4,
 233
 234   /* This indicates a deleted member function, i.e., one that has been
 235      defined as "= delete" at its declaration point, or one that has
 236      been implicitly defined as deleted (with or without an explicit
 237      "= default" definition).
 238
 239      This should not be used for implicitly-declared member functions
 240      that resolve to deleted definitions, as it may affect the
 241      implicit declaration of other member functions.  */
 242   GCC_CP_FLAG_DELETED_FUNCTION = GCC_CP_FLAG_BASE << 5,
 243
 244   /* This indicates a constructor or type-conversion operator declared
 245      as "explicit".  */
 246
 247   GCC_CP_FLAG_EXPLICIT_FUNCTION = GCC_CP_FLAG_BASE << 6,
 248
 249   GCC_CP_FLAG_END_FUNCTION,
 250   GCC_CP_FLAG_MASK_FUNCTION = (((GCC_CP_FLAG_END_FUNCTION - 1) << 1)
 251                                - GCC_CP_FLAG_BASE),
 252
 253   /* Flags to be used along with GCC_CP_SYMBOL_VARIABLE:  */
 254
 255   /* This indicates a variable declared as "constexpr".  */
 256
 257   GCC_CP_FLAG_CONSTEXPR_VARIABLE = GCC_CP_FLAG_BASE,
 258
 259   /* This indicates a variable declared as "thread_local".  ??? What
 260      should the ADDRESS be?  */
 261
 262   GCC_CP_FLAG_THREAD_LOCAL_VARIABLE = GCC_CP_FLAG_BASE << 1,
 263
 264   GCC_CP_FLAG_END_VARIABLE,
 265   GCC_CP_FLAG_MASK_VARIABLE = (((GCC_CP_FLAG_END_VARIABLE - 1) << 1)
 266                                - GCC_CP_FLAG_BASE),
 267
 268   /* Flags to be used when defining nonstatic data members of classes
 269      with new_field.  */
 270
 271   /* Use this when no flags are present.  */
 272   GCC_CP_FLAG_FIELD_NOFLAG = 0,
 273
 274   /* This indicates the field is declared as mutable.  */
 275   GCC_CP_FLAG_FIELD_MUTABLE = GCC_CP_FLAG_BASE,
 276
 277   GCC_CP_FLAG_END_FIELD,
 278   GCC_CP_FLAG_MASK_FIELD = (((GCC_CP_FLAG_END_FIELD - 1) << 1)
 279                             - GCC_CP_FLAG_BASE),
 280
 281   /* Flags to be used when defining an enum with
 282      start_new_enum_type.  */
 283
 284   /* This indicates an enum type without any flags.  */
 285   GCC_CP_FLAG_ENUM_NOFLAG = 0,
 286
 287   /* This indicates a scoped enum type.  */
 288   GCC_CP_FLAG_ENUM_SCOPED = GCC_CP_FLAG_BASE,
 289
 290   GCC_CP_FLAG_END_ENUM,
 291   GCC_CP_FLAG_MASK_ENUM = (((GCC_CP_FLAG_END_ENUM - 1) << 1)
 292                                - GCC_CP_FLAG_BASE),
 293
 294
 295   /* Flags to be used when introducing a class or a class template
 296      with build_decl.  */
 297
 298   /* This indicates an enum type without any flags.  */
 299   GCC_CP_FLAG_CLASS_NOFLAG = 0,
 300
 301   /* This indicates the class is actually a struct.  This has no
 302      effect whatsoever on access control in this interface, since all
 303      class members must have explicit access control bits set, but it
 304      may affect error messages.  */
 305   GCC_CP_FLAG_CLASS_IS_STRUCT = GCC_CP_FLAG_BASE,
 306
 307   GCC_CP_FLAG_END_CLASS,
 308   GCC_CP_FLAG_MASK_CLASS = (((GCC_CP_FLAG_END_CLASS - 1) << 1)
 309                                - GCC_CP_FLAG_BASE),
 310
 311
 312   /* Flags to be used when introducing a virtual base class in a
 313      gcc_vbase_array.  */
 314
 315   /* This indicates an enum type without any flags.  */
 316   GCC_CP_FLAG_BASECLASS_NOFLAG = 0,
 317
 318   /* This indicates the class is actually a struct.  This has no
 319      effect whatsoever on access control in this interface, since all
 320      class members must have explicit access control bits set, but it
 321      may affect error messages.  */
 322   GCC_CP_FLAG_BASECLASS_VIRTUAL = GCC_CP_FLAG_BASE,
 323
 324   GCC_CP_FLAG_END_BASECLASS,
 325   GCC_CP_FLAG_MASK_BASECLASS = (((GCC_CP_FLAG_END_BASECLASS - 1) << 1)
 326                                 - GCC_CP_FLAG_BASE),
 327
 328
 329   GCC_CP_FLAG_MASK = (GCC_CP_FLAG_MASK_FUNCTION
 330                       | GCC_CP_FLAG_MASK_VARIABLE
 331                       | GCC_CP_FLAG_MASK_FIELD
 332                       | GCC_CP_FLAG_MASK_ENUM
 333                       | GCC_CP_FLAG_MASK_CLASS
 334                       | GCC_CP_FLAG_MASK_BASECLASS
 335                       )
 336 };
 337
 338
 339 /* An array of types used for creating lists of base classes.  */
 340
 341 struct gcc_vbase_array
 342 {
 343   /* Number of elements.  */
 344
 345   int n_elements;
 346
 347   /* The base classes.  */
 348
 349   gcc_type *elements;
 350
 351   /* Flags for each base class.  Used to indicate access control and
 352      virtualness.  */
 353
 354   enum gcc_cp_symbol_kind *flags;
 355 };
 356
 357
 358 /* This enumerates the types of symbols that GCC might request from
 359    GDB.  */
 360
 361 enum gcc_cp_oracle_request
 362 {
 363   /* An identifier in namespace scope -- type, variable, function,
 364      namespace, template.  All namespace-scoped symbols with the
 365      requested name, in any namespace (including the global
 366      namespace), should be defined in response to this request.  */
 367
 368   GCC_CP_ORACLE_IDENTIFIER
 369 };
 370
 371 /* The type of the function called by GCC to ask GDB for a symbol's
 372    definition.  DATUM is an arbitrary value supplied when the oracle
 373    function is registered.  CONTEXT is the GCC context in which the
 374    request is being made.  REQUEST specifies what sort of symbol is
 375    being requested, and IDENTIFIER is the name of the symbol.  */
 376
 377 typedef void gcc_cp_oracle_function (void *datum,
 378                                      struct gcc_cp_context *context,
 379                                      enum gcc_cp_oracle_request request,
 380                                      const char *identifier);
 381
 382 /* The type of the function called by GCC to ask GDB for a symbol's
 383    address.  This should return 0 if the address is not known.  */
 384
 385 typedef gcc_address gcc_cp_symbol_address_function (void *datum,
 386                                                     struct gcc_cp_context *ctxt,
 387                                                     const char *identifier);
 388
 389 /* The type of the function called by GCC to ask GDB to enter or leave
 390    the user expression scope.  */
 391
 392 typedef void gcc_cp_enter_leave_user_expr_scope_function (void *datum,
 393                                                           struct gcc_cp_context
 394                                                           *context);
 395
 396 /* The vtable used by the C front end.  */
 397
 398 struct gcc_cp_fe_vtable
 399 {
 400   /* The version of the C interface.  The value is one of the
 401      gcc_cp_api_version constants.  */
 402
 403   unsigned int cp_version;
 404
 405   /* Set the callbacks for this context.
 406
 407      The binding oracle is called whenever the C++ parser needs to
 408      look up a symbol.  This gives the caller a chance to lazily
 409      instantiate symbols using other parts of the gcc_cp_fe_interface
 410      API.  The symbol is looked up without a scope, and the oracle
 411      must supply a definition for ALL namespace-scoped definitions
 412      bound to the symbol.
 413
 414      The address oracle is called whenever the C++ parser needs to
 415      look up a symbol.  This may be called for symbols not provided by
 416      the symbol oracle, such as built-in functions where GCC provides
 417      the declaration; other internal symbols, such as those related
 418      with thunks, rtti, and virtual tables are likely to be queried
 419      through this interface too.  The identifier is a mangled symbol
 420      name.
 421
 422      DATUM is an arbitrary piece of data that is passed back verbatim
 423      to the callbacks in requests.  */
 424
 425   void (*set_callbacks) (struct gcc_cp_context *self,
 426                          gcc_cp_oracle_function *binding_oracle,
 427                          gcc_cp_symbol_address_function *address_oracle,
 428                          gcc_cp_enter_leave_user_expr_scope_function *enter_scope,
 429                          gcc_cp_enter_leave_user_expr_scope_function *leave_scope,
 430                          void *datum);
 431
 432 #define GCC_METHOD0(R, N) \
 433   R (*N) (struct gcc_cp_context *);
 434 #define GCC_METHOD1(R, N, A) \
 435   R (*N) (struct gcc_cp_context *, A);
 436 #define GCC_METHOD2(R, N, A, B) \
 437   R (*N) (struct gcc_cp_context *, A, B);
 438 #define GCC_METHOD3(R, N, A, B, C) \
 439   R (*N) (struct gcc_cp_context *, A, B, C);
 440 #define GCC_METHOD4(R, N, A, B, C, D) \
 441   R (*N) (struct gcc_cp_context *, A, B, C, D);
 442 #define GCC_METHOD5(R, N, A, B, C, D, E) \
 443   R (*N) (struct gcc_cp_context *, A, B, C, D, E);
 444 #define GCC_METHOD7(R, N, A, B, C, D, E, F, G) \
 445   R (*N) (struct gcc_cp_context *, A, B, C, D, E, F, G);
 446
 447 #include "gcc-cp-fe.def"
 448
 449 #undef GCC_METHOD0
 450 #undef GCC_METHOD1
 451 #undef GCC_METHOD2
 452 #undef GCC_METHOD3
 453 #undef GCC_METHOD4
 454 #undef GCC_METHOD5
 455 #undef GCC_METHOD7
 456
 457 };
 458
 459 /* The C front end object.  */
 460
 461 struct gcc_cp_context
 462 {
 463   /* Base class.  */
 464
 465   struct gcc_base_context base;
 466
 467   /* Our vtable.  This is a separate field because this is simpler
 468      than implementing a vtable inheritance scheme in C.  */
 469
 470   const struct gcc_cp_fe_vtable *cp_ops;
 471 };
 472
 473 /* The name of the .so that the compiler builds.  We dlopen this
 474    later.  */
 475
 476 #define GCC_CP_FE_LIBCC libcc1.so
 477
 478 /* The compiler exports a single initialization function.  This macro
 479    holds its name as a symbol.  */
 480
 481 #define GCC_CP_FE_CONTEXT gcc_cp_fe_context
 482
 483 /* The type of the initialization function.  The caller passes in the
 484    desired base version and desired C-specific version.  If the
 485    request can be satisfied, a compatible gcc_context object will be
 486    returned.  Otherwise, the function returns NULL.  */
 487
 488 typedef struct gcc_cp_context *gcc_cp_fe_context_function
 489     (enum gcc_base_api_version,
 490      enum gcc_cp_api_version);
 491
 492 #ifdef __cplusplus
 493 }
 494 #endif
 495
 496 #endif /* GCC_CP_INTERFACE_H */