8db29d88f3
Extend libcc1's with an API for C++ support. Extend libcc1's C API to distinguish between integral types with the same width, as in C++. Likewise for float types. Export small bits of functionality from the C++ front-end for use in libcc1. Add support for the C++ front-end to look up names and addresses using a libcc1-registered binding oracle. Add support for global friends. for gcc/cp/ChangeLog Introduce C++ support in libcc1. * cp-tree.h (struct lang_identifier): Add oracle_looked_up. (ansi_opname): Rename to... (cp_operator_id): ... this. Adjust all callers. (ansi_assopname): Rename to... (cp_assignment_operator_id): ... this. Adjust all callers. (cp_literal_operator_id): Declare. (set_global_friend): Declare. (is_global_friend): Declare. (enum cp_oracle_request): New type. (cp_binding_oracle_function): New type. (cp_binding_oracle): Declare. (cp_finish_injected_record_type): Declare. * friend.c (global_friend): New var. (set_global_friend): New fn. (is_global_friend): New fn. (is_friend): Call is_global_friend. * name-lookup.c (cp_binding_oracle): New var. (query_oracle): New fn. (qualified_lookup_using_namespace): Call query_oracle. (lookup_name_real_1): Likewise. * parser.c (cp_literal_operator_id): Drop static. * search.c (friend_accessible_p): Call is_global_friend. * semantics.c (is_this_parameter): Accept a variable if the binding oracle is enabled. for include/ChangeLog Introduce C++ support in libcc1. * gcc-c-fe.def (int_type_v0): Rename from... (int_type): ... this. Introduce new version. (float_type_v0): Rename from... (float_type): ... this. Introduce new version. (char_type): New. * gcc-c-interface.h (gcc_c_api_version): Add GCC_C_FE_VERSION_1. (gcc_type_array): Move... * gcc-interface.h: ... here. * gcc-cp-fe.def: New. * gcc-cp-interface.h: New. for libcc1/ChangeLog Introduce C++ support. * Makefile.am (AM_CPPFLAGS): Move some -I flags to... (CPPFLAGS_FOR_C_FAMILY, CPPFLAGS_FOR_C, CPPFLAGS_FOR_CXX): ... new macros. (plugin_LTLIBRARIES): Add libcp1plugin.la. (BUILT_SOURCES, MOSTLYCLEANFILES): Add... (cp-compiler-name.h): ... this. New. (c-compiler-name.h): Rename all over from... (compiler-name.h): ... this. Create it atomically. (marshall_c_source, marshall_cxx_source): New macros. (libcc1plugin_la_SOURCES): Rename plugin.cc to libcc1plugin.cc. Add marshall_c_source expansion. (libcc1plugin.lo_CPPFLAGS): New macro. (libcp1plugin_la_LDFLAGS): Likewise. (libcp1plugin_la_SOURCES): Likewise. (libcp1plugin.lo_CPPFLAGS): Likewise. (libcp1plugin_la_LIBADD): Likewise. (libcp1plugin_la_DEPENDENCIES): Likewise. (libcp1plugin_la_LINK): Likewise. (libcc1_la_SOURCES): Added marshall_c_source and marshall_cxx_source expansions. * Makefile.in: Rebuild. * compiler-name.h: Rename all over to... * c-compiler-name.h: ... this. Define C_COMPILER_NAME instead of COMPILER_NAME. * plugin.cc: Rename all over to... * libcc1plugin.cc: ... this. Include marshall-c.hh. (address_rewriter): Drop cleaning up of VLA sizes. (plugin_build_decl): Mark decls as external. (plugin_tagbind): Propagate name to all variants. (build_anonymous_node): New. (plugin_build_record_type): Use it instead of make_node. (plugin_build_union_type): Likewise. (plugin_build_enum_type): Likewise. (plugin_finish_record_or_union): Update all type variants. (safe_lookup_builtin_type): New. (plugin_int_check): Factor out of, and add checks to, ... (plugin_int_type): ... this. Rename to... (plugin_int_type_v0): ... this. (plugin_int_type): New interface, new implementation. (plugin_char_type): New. (plugin_float_type_v0): Rename from... (plugin_float_type): ... this. New interface, new implementation. (plugin_init): Bump handshake version. * libcc1.cc: Include marshall-c.hh. Drop gcc-interface.h. (call_binding_oracle): Rename to... (c_call_binding_oracle): ... this, into anonymous namespace. (call_symbol_address): Rename to... (c_call_symbol_address): ... this, likewise. (GCC_METHOD#): Move methods into cc1plugin::c:: namespace. (libcc1::compiler::find): Refer to C_COMPILER_NAME. (fork_exec): Bump to GCC_C_FE_VERSION_1. (libcc1_compile): Prefix callbacks with c_. (gcc_c_fe_context): Accept GCC_C_FE_VERSION_1. * libcc1.sym: Export gcc_cp_fe_context. * libcp1.cc: New, mostly copied and adjusted from libcc1.cc. * libcp1plugin.cc: New, initially copied from libcc1plugin.cc. * libcp1plugin.sym: New. * marshall-c.hh: New. Move C-specific types from... * marshall.cc: ... this. (cc1_plugin::marshall_array_start): New. (cc1_plugin::marshall_array_elmts): New. (cc1_plugin::marshall for gcc_type_array): Use the above. (cc1_plugin::unmarshall_array_start): New. (cc1_plugin::unmarshall_array_elmts): New. (cc1_plugin::unmarshall for gcc_type_array): Use the above. * marshall.hh: Declare the new array building blocks. Drop C-specific unmarshall declarations. * marshall-cp.hh: New. * names.cc (GCC_METHOD#): Add LANG:: to method names. (LANG): Define while including gcc-c-fe.def and gcc-cp-fe.def. * names.hh: Include gcc-c-fe.def and gcc-cp-fe.def in the corresponding namespaces. * rpc.hh: Don't include marshall.hh. [GCC_CP_INTERFACE_H] (argument_wrapper): Specialize for gcc_vbase_array, gcc_cp_template_args, gcc_cp_function_args. From-SVN: r245051
223 lines
8.5 KiB
C
223 lines
8.5 KiB
C
/* Interface between GCC C FE and GDB -*- c -*-
|
|
|
|
Copyright (C) 2014-2017 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
|
|
/* Create a new "decl" in GCC. A decl is a declaration, basically a
|
|
kind of symbol.
|
|
|
|
NAME is the name of the new symbol. SYM_KIND is the kind of
|
|
symbol being requested. SYM_TYPE is the new symbol's C type;
|
|
except for labels, where this is not meaningful and should be
|
|
zero. If SUBSTITUTION_NAME is not NULL, then a reference to this
|
|
decl in the source will later be substituted with a dereference
|
|
of a variable of the given name. Otherwise, for symbols having
|
|
an address (e.g., functions), ADDRESS is the address. FILENAME
|
|
and LINE_NUMBER refer to the symbol's source location. If this
|
|
is not known, FILENAME can be NULL and LINE_NUMBER can be 0.
|
|
This function returns the new decl. */
|
|
|
|
GCC_METHOD7 (gcc_decl, build_decl,
|
|
const char *, /* Argument NAME. */
|
|
enum gcc_c_symbol_kind, /* Argument SYM_KIND. */
|
|
gcc_type, /* Argument SYM_TYPE. */
|
|
const char *, /* Argument SUBSTITUTION_NAME. */
|
|
gcc_address, /* Argument ADDRESS. */
|
|
const char *, /* Argument FILENAME. */
|
|
unsigned int) /* Argument LINE_NUMBER. */
|
|
|
|
/* Insert a GCC decl into the symbol table. DECL is the decl to
|
|
insert. IS_GLOBAL is true if this is an outermost binding, and
|
|
false if it is a possibly-shadowing binding. */
|
|
|
|
GCC_METHOD2 (int /* bool */, bind,
|
|
gcc_decl, /* Argument DECL. */
|
|
int /* bool */) /* Argument IS_GLOBAL. */
|
|
|
|
/* Insert a tagged type into the symbol table. NAME is the tag name
|
|
of the type and TAGGED_TYPE is the type itself. TAGGED_TYPE must
|
|
be either a struct, union, or enum type, as these are the only
|
|
types that have tags. FILENAME and LINE_NUMBER refer to the type's
|
|
source location. If this is not known, FILENAME can be NULL and
|
|
LINE_NUMBER can be 0. */
|
|
|
|
GCC_METHOD4 (int /* bool */, tagbind,
|
|
const char *, /* Argument NAME. */
|
|
gcc_type, /* Argument TAGGED_TYPE. */
|
|
const char *, /* Argument FILENAME. */
|
|
unsigned int) /* Argument LINE_NUMBER. */
|
|
|
|
/* Return the type of a pointer to a given base type. */
|
|
|
|
GCC_METHOD1 (gcc_type, build_pointer_type,
|
|
gcc_type) /* Argument BASE_TYPE. */
|
|
|
|
/* Create a new 'struct' type. Initially it has no fields. */
|
|
|
|
GCC_METHOD0 (gcc_type, build_record_type)
|
|
|
|
/* Create a new 'union' type. Initially it has no fields. */
|
|
|
|
GCC_METHOD0 (gcc_type, build_union_type)
|
|
|
|
/* Add a field to a struct or union type. FIELD_NAME is the field's
|
|
name. FIELD_TYPE is the type of the field. BITSIZE and BITPOS
|
|
indicate where in the struct the field occurs. */
|
|
|
|
GCC_METHOD5 (int /* bool */, build_add_field,
|
|
gcc_type, /* Argument RECORD_OR_UNION_TYPE. */
|
|
const char *, /* Argument FIELD_NAME. */
|
|
gcc_type, /* Argument FIELD_TYPE. */
|
|
unsigned long, /* Argument BITSIZE. */
|
|
unsigned long) /* Argument BITPOS. */
|
|
|
|
/* After all the fields have been added to a struct or union, the
|
|
struct or union type must be "finished". This does some final
|
|
cleanups in GCC. */
|
|
|
|
GCC_METHOD2 (int /* bool */, finish_record_or_union,
|
|
gcc_type, /* Argument RECORD_OR_UNION_TYPE. */
|
|
unsigned long) /* Argument SIZE_IN_BYTES. */
|
|
|
|
/* Create a new 'enum' type. The new type initially has no
|
|
associated constants. */
|
|
|
|
GCC_METHOD1 (gcc_type, build_enum_type,
|
|
gcc_type) /* Argument UNDERLYING_INT_TYPE. */
|
|
|
|
/* Add a new constant to an enum type. NAME is the constant's
|
|
name and VALUE is its value. */
|
|
|
|
GCC_METHOD3 (int /* bool */, build_add_enum_constant,
|
|
gcc_type, /* Argument ENUM_TYPE. */
|
|
const char *, /* Argument NAME. */
|
|
unsigned long) /* Argument VALUE. */
|
|
|
|
/* After all the constants have been added to an enum, the type must
|
|
be "finished". This does some final cleanups in GCC. */
|
|
|
|
GCC_METHOD1 (int /* bool */, finish_enum_type,
|
|
gcc_type) /* Argument ENUM_TYPE. */
|
|
|
|
/* Create a new function type. RETURN_TYPE is the type returned by
|
|
the function, and ARGUMENT_TYPES is a vector, of length NARGS, of
|
|
the argument types. IS_VARARGS is true if the function is
|
|
varargs. */
|
|
|
|
GCC_METHOD3 (gcc_type, build_function_type,
|
|
gcc_type, /* Argument RETURN_TYPE. */
|
|
const struct gcc_type_array *, /* Argument ARGUMENT_TYPES. */
|
|
int /* bool */) /* Argument IS_VARARGS. */
|
|
|
|
/* Return an integer type with the given properties.
|
|
Deprecated in v1, use int_type instead. */
|
|
|
|
GCC_METHOD2 (gcc_type, int_type_v0,
|
|
int /* bool */, /* Argument IS_UNSIGNED. */
|
|
unsigned long) /* Argument SIZE_IN_BYTES. */
|
|
|
|
/* Return a floating point type with the given properties.
|
|
Deprecated in v1, use float_type instead. */
|
|
|
|
GCC_METHOD1 (gcc_type, float_type_v0,
|
|
unsigned long) /* Argument SIZE_IN_BYTES. */
|
|
|
|
/* Return the 'void' type. */
|
|
|
|
GCC_METHOD0 (gcc_type, void_type)
|
|
|
|
/* Return the 'bool' type. */
|
|
|
|
GCC_METHOD0 (gcc_type, bool_type)
|
|
|
|
/* Create a new array type. If NUM_ELEMENTS is -1, then the array
|
|
is assumed to have an unknown length. */
|
|
|
|
GCC_METHOD2 (gcc_type, build_array_type,
|
|
gcc_type, /* Argument ELEMENT_TYPE. */
|
|
int) /* Argument NUM_ELEMENTS. */
|
|
|
|
/* Create a new variably-sized array type. UPPER_BOUND_NAME is the
|
|
name of a local variable that holds the upper bound of the array;
|
|
it is one less than the array size. */
|
|
|
|
GCC_METHOD2 (gcc_type, build_vla_array_type,
|
|
gcc_type, /* Argument ELEMENT_TYPE. */
|
|
const char *) /* Argument UPPER_BOUND_NAME. */
|
|
|
|
/* Return a qualified variant of a given base type. QUALIFIERS says
|
|
which qualifiers to use; it is composed of or'd together
|
|
constants from 'enum gcc_qualifiers'. */
|
|
|
|
GCC_METHOD2 (gcc_type, build_qualified_type,
|
|
gcc_type, /* Argument UNQUALIFIED_TYPE. */
|
|
enum gcc_qualifiers) /* Argument QUALIFIERS. */
|
|
|
|
/* Build a complex type given its element type. */
|
|
|
|
GCC_METHOD1 (gcc_type, build_complex_type,
|
|
gcc_type) /* Argument ELEMENT_TYPE. */
|
|
|
|
/* Build a vector type given its element type and number of
|
|
elements. */
|
|
|
|
GCC_METHOD2 (gcc_type, build_vector_type,
|
|
gcc_type, /* Argument ELEMENT_TYPE. */
|
|
int) /* Argument NUM_ELEMENTS. */
|
|
|
|
/* Build a constant. NAME is the constant's name and VALUE is its
|
|
value. FILENAME and LINE_NUMBER refer to the type's source
|
|
location. If this is not known, FILENAME can be NULL and
|
|
LINE_NUMBER can be 0. */
|
|
|
|
GCC_METHOD5 (int /* bool */, build_constant,
|
|
gcc_type, /* Argument TYPE. */
|
|
const char *, /* Argument NAME. */
|
|
unsigned long, /* Argument VALUE. */
|
|
const char *, /* Argument FILENAME. */
|
|
unsigned int) /* Argument LINE_NUMBER. */
|
|
|
|
/* Emit an error and return an error type object. */
|
|
|
|
GCC_METHOD1 (gcc_type, error,
|
|
const char *) /* Argument MESSAGE. */
|
|
|
|
/* Return an integer type with the given properties. If BUILTIN_NAME
|
|
is non-NULL, it must name a builtin integral type with the given
|
|
signedness and size, and that is the type that will be returned. */
|
|
|
|
GCC_METHOD3 (gcc_type, int_type,
|
|
int /* bool */, /* Argument IS_UNSIGNED. */
|
|
unsigned long, /* Argument SIZE_IN_BYTES. */
|
|
const char *) /* Argument BUILTIN_NAME. */
|
|
|
|
/* Return the 'char' type, a distinct type from both 'signed char' and
|
|
'unsigned char' returned by int_type. */
|
|
|
|
GCC_METHOD0 (gcc_type, char_type)
|
|
|
|
/* Return a floating point type with the given properties. If BUILTIN_NAME
|
|
is non-NULL, it must name a builtin integral type with the given
|
|
signedness and size, and that is the type that will be returned. */
|
|
|
|
GCC_METHOD2 (gcc_type, float_type,
|
|
unsigned long, /* Argument SIZE_IN_BYTES. */
|
|
const char *) /* Argument BUILTIN_NAME. */
|
|
|