blob: bf4abba73111658c3df4c56d9ab719811cab5844 [file] [log] [blame]
/* Name mangling for the 3.0 -*- C++ -*- ABI.
Copyright (C) 2000-2021 Free Software Foundation, Inc.
Written by Alex Samuel <samuel@codesourcery.com>
This file is part of GCC.
GCC 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, or (at your option)
any later version.
GCC 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 GCC; see the file COPYING3. If not see
<http://www.gnu.org/licenses/>. */
/* This file implements mangling of C++ names according to the IA64
C++ ABI specification. A mangled name encodes a function or
variable's name, scope, type, and/or template arguments into a text
identifier. This identifier is used as the function's or
variable's linkage name, to preserve compatibility between C++'s
language features (templates, scoping, and overloading) and C
linkers.
Additionally, g++ uses mangled names internally. To support this,
mangling of types is allowed, even though the mangled name of a
type should not appear by itself as an exported name. Ditto for
uninstantiated templates.
The primary entry point for this module is mangle_decl, which
returns an identifier containing the mangled name for a decl.
Additional entry points are provided to build mangled names of
particular constructs when the appropriate decl for that construct
is not available. These are:
mangle_typeinfo_for_type: typeinfo data
mangle_typeinfo_string_for_type: typeinfo type name
mangle_vtbl_for_type: virtual table data
mangle_vtt_for_type: VTT data
mangle_ctor_vtbl_for_type: `C-in-B' constructor virtual table data
mangle_thunk: thunk function or entry */
#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "target.h"
#include "vtable-verify.h"
#include "cp-tree.h"
#include "stringpool.h"
#include "cgraph.h"
#include "stor-layout.h"
#include "flags.h"
#include "attribs.h"
/* Debugging support. */
/* Define DEBUG_MANGLE to enable very verbose trace messages. */
#ifndef DEBUG_MANGLE
#define DEBUG_MANGLE 0
#endif
/* Macros for tracing the write_* functions. */
#if DEBUG_MANGLE
# define MANGLE_TRACE(FN, INPUT) \
fprintf (stderr, " %-24s: %-24s\n", (FN), (INPUT))
# define MANGLE_TRACE_TREE(FN, NODE) \
fprintf (stderr, " %-24s: %-24s (%p)\n", \
(FN), get_tree_code_name (TREE_CODE (NODE)), (void *) (NODE))
#else
# define MANGLE_TRACE(FN, INPUT)
# define MANGLE_TRACE_TREE(FN, NODE)
#endif
/* Nonzero if NODE is a class template-id. We can't rely on
CLASSTYPE_USE_TEMPLATE here because of tricky bugs in the parser
that hard to distinguish A<T> from A, where A<T> is the type as
instantiated outside of the template, and A is the type used
without parameters inside the template. */
#define CLASSTYPE_TEMPLATE_ID_P(NODE) \
(TREE_CODE (NODE) == BOUND_TEMPLATE_TEMPLATE_PARM \
|| (CLASS_TYPE_P (NODE) \
&& CLASSTYPE_TEMPLATE_INFO (NODE) != NULL \
&& PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (NODE))))
/* For deciding whether to set G.need_abi_warning, we need to consider both
warn_abi_version and flag_abi_compat_version. */
#define abi_warn_or_compat_version_crosses(N) \
(abi_version_crosses (N) || abi_compat_version_crosses (N))
/* And sometimes we can simplify the code path if we don't need to worry about
previous ABIs. */
#define abi_flag_at_least(flag,N) (flag == 0 || flag >= N)
#define any_abi_below(N) \
(!abi_version_at_least (N) \
|| !abi_flag_at_least (warn_abi_version, (N)) \
|| !abi_flag_at_least (flag_abi_compat_version, (N)))
/* Things we only need one of. This module is not reentrant. */
struct GTY(()) globals {
/* An array of the current substitution candidates, in the order
we've seen them. */
vec<tree, va_gc> *substitutions;
/* The entity that is being mangled. */
tree GTY ((skip)) entity;
/* How many parameter scopes we are inside. */
int parm_depth;
/* True if the mangling will be different in a future version of the
ABI. */
bool need_abi_warning;
/* True if the mangling will be different in C++17 mode. */
bool need_cxx17_warning;
/* True if we mangled a module name. */
bool mod;
};
static GTY (()) globals G;
/* The obstack on which we build mangled names. */
static struct obstack *mangle_obstack;
/* The obstack on which we build mangled names that are not going to
be IDENTIFIER_NODEs. */
static struct obstack name_obstack;
/* The first object on the name_obstack; we use this to free memory
allocated on the name_obstack. */
static void *name_base;
/* Indices into subst_identifiers. These are identifiers used in
special substitution rules. */
typedef enum
{
SUBID_ALLOCATOR,
SUBID_BASIC_STRING,
SUBID_CHAR_TRAITS,
SUBID_BASIC_ISTREAM,
SUBID_BASIC_OSTREAM,
SUBID_BASIC_IOSTREAM,
SUBID_MAX
}
substitution_identifier_index_t;
/* For quick substitution checks, look up these common identifiers
once only. */
static GTY(()) tree subst_identifiers[SUBID_MAX];
/* Single-letter codes for builtin integer types, defined in
<builtin-type>. These are indexed by integer_type_kind values. */
static const char
integer_type_codes[itk_none] =
{
'c', /* itk_char */
'a', /* itk_signed_char */
'h', /* itk_unsigned_char */
's', /* itk_short */
't', /* itk_unsigned_short */
'i', /* itk_int */
'j', /* itk_unsigned_int */
'l', /* itk_long */
'm', /* itk_unsigned_long */
'x', /* itk_long_long */
'y', /* itk_unsigned_long_long */
/* __intN types are handled separately */
'\0', '\0', '\0', '\0', '\0', '\0', '\0', '\0'
};
static tree maybe_template_info (const tree);
/* Functions for handling substitutions. */
static inline tree canonicalize_for_substitution (tree);
static void add_substitution (tree);
static inline int is_std_substitution (const tree,
const substitution_identifier_index_t);
static inline int is_std_substitution_char (const tree,
const substitution_identifier_index_t);
static int find_substitution (tree);
static void mangle_call_offset (const tree, const tree);
/* Functions for emitting mangled representations of things. */
static void write_mangled_name (const tree, bool);
static void write_encoding (const tree);
static void write_name (tree, const int);
static void write_abi_tags (tree);
static void write_unscoped_name (const tree);
static void write_unscoped_template_name (const tree);
static void write_nested_name (const tree);
static void write_prefix (const tree);
static void write_template_prefix (const tree);
static void write_unqualified_name (tree);
static void write_conversion_operator_name (const tree);
static void write_source_name (tree);
static void write_literal_operator_name (tree);
static void write_unnamed_type_name (const tree);
static void write_closure_type_name (const tree);
static int hwint_to_ascii (unsigned HOST_WIDE_INT, const unsigned int, char *,
const unsigned int);
static void write_number (unsigned HOST_WIDE_INT, const int,
const unsigned int);
static void write_compact_number (int num);
static void write_integer_cst (const tree);
static void write_real_cst (const tree);
static void write_identifier (const char *);
static void write_special_name_constructor (const tree);
static void write_special_name_destructor (const tree);
static void write_type (tree);
static int write_CV_qualifiers_for_type (const tree);
static void write_builtin_type (tree);
static void write_function_type (const tree);
static void write_bare_function_type (const tree, const int, const tree);
static void write_method_parms (tree, const int, const tree);
static void write_class_enum_type (const tree);
static void write_template_args (tree);
static void write_expression (tree);
static void write_template_arg_literal (const tree);
static void write_template_arg (tree);
static void write_template_template_arg (const tree);
static void write_array_type (const tree);
static void write_pointer_to_member_type (const tree);
static void write_template_param (const tree);
static void write_template_template_param (const tree);
static void write_substitution (const int);
static int discriminator_for_local_entity (tree);
static int discriminator_for_string_literal (tree, tree);
static void write_discriminator (const int);
static void write_local_name (tree, const tree, const tree);
static void dump_substitution_candidates (void);
static tree mangle_decl_string (const tree);
static void maybe_check_abi_tags (tree, tree = NULL_TREE, int = 10);
static bool equal_abi_tags (tree, tree);
/* Control functions. */
static inline void start_mangling (const tree);
static tree mangle_special_for_type (const tree, const char *);
/* Append a single character to the end of the mangled
representation. */
#define write_char(CHAR) \
obstack_1grow (mangle_obstack, (CHAR))
/* Append a sized buffer to the end of the mangled representation. */
#define write_chars(CHAR, LEN) \
obstack_grow (mangle_obstack, (CHAR), (LEN))
/* Append a NUL-terminated string to the end of the mangled
representation. */
#define write_string(STRING) \
obstack_grow (mangle_obstack, (STRING), strlen (STRING))
/* Nonzero if NODE1 and NODE2 are both TREE_LIST nodes and have the
same purpose (context, which may be a type) and value (template
decl). See write_template_prefix for more information on what this
is used for. */
#define NESTED_TEMPLATE_MATCH(NODE1, NODE2) \
(TREE_CODE (NODE1) == TREE_LIST \
&& TREE_CODE (NODE2) == TREE_LIST \
&& ((TYPE_P (TREE_PURPOSE (NODE1)) \
&& same_type_p (TREE_PURPOSE (NODE1), TREE_PURPOSE (NODE2))) \
|| TREE_PURPOSE (NODE1) == TREE_PURPOSE (NODE2)) \
&& TREE_VALUE (NODE1) == TREE_VALUE (NODE2))
/* Write out an unsigned quantity in base 10. */
#define write_unsigned_number(NUMBER) \
write_number ((NUMBER), /*unsigned_p=*/1, 10)
/* If DECL is a template instance (including the uninstantiated template
itself), return its TEMPLATE_INFO. Otherwise return NULL. */
static tree
maybe_template_info (const tree decl)
{
if (TREE_CODE (decl) == TYPE_DECL)
{
/* TYPE_DECLs are handled specially. Look at its type to decide
if this is a template instantiation. */
const tree type = TREE_TYPE (decl);
if (CLASS_TYPE_P (type) && CLASSTYPE_TEMPLATE_ID_P (type))
return TYPE_TEMPLATE_INFO (type);
}
else
{
/* Check if the template is a primary template. */
if (DECL_LANG_SPECIFIC (decl) != NULL
&& VAR_OR_FUNCTION_DECL_P (decl)
&& DECL_TEMPLATE_INFO (decl)
&& PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (decl)))
return DECL_TEMPLATE_INFO (decl);
}
/* It's not a template id. */
return NULL_TREE;
}
/* Produce debugging output of current substitution candidates. */
static void
dump_substitution_candidates (void)
{
unsigned i;
tree el;
fprintf (stderr, " ++ substitutions ");
FOR_EACH_VEC_ELT (*G.substitutions, i, el)
{
const char *name = "???";
if (i > 0)
fprintf (stderr, " ");
if (DECL_P (el))
name = IDENTIFIER_POINTER (DECL_NAME (el));
else if (TREE_CODE (el) == TREE_LIST)
name = IDENTIFIER_POINTER (DECL_NAME (TREE_VALUE (el)));
else if (TYPE_NAME (el))
name = TYPE_NAME_STRING (el);
fprintf (stderr, " S%d_ = ", i - 1);
if (TYPE_P (el) &&
(CP_TYPE_RESTRICT_P (el)
|| CP_TYPE_VOLATILE_P (el)
|| CP_TYPE_CONST_P (el)))
fprintf (stderr, "CV-");
fprintf (stderr, "%s (%s at %p)\n",
name, get_tree_code_name (TREE_CODE (el)), (void *) el);
}
}
/* <exception-spec> ::=
Do -- non-throwing exception specification
DO <expression> E -- computed (instantiation-dependent) noexcept
Dw <type>* E -- throw (types) */
static void
write_exception_spec (tree spec)
{
if (!spec || spec == noexcept_false_spec)
/* Nothing. */
return;
if (!flag_noexcept_type)
{
G.need_cxx17_warning = true;
return;
}
if (spec == noexcept_true_spec || spec == empty_except_spec)
write_string ("Do");
else if (tree expr = TREE_PURPOSE (spec))
{
/* noexcept (expr) */
gcc_assert (uses_template_parms (expr));
write_string ("DO");
write_expression (expr);
write_char ('E');
}
else
{
/* throw (type-list) */
write_string ("Dw");
for (tree t = spec; t; t = TREE_CHAIN (t))
write_type (TREE_VALUE (t));
write_char ('E');
}
}
/* Both decls and types can be substitution candidates, but sometimes
they refer to the same thing. For instance, a TYPE_DECL and
RECORD_TYPE for the same class refer to the same thing, and should
be treated accordingly in substitutions. This function returns a
canonicalized tree node representing NODE that is used when adding
and substitution candidates and finding matches. */
static inline tree
canonicalize_for_substitution (tree node)
{
/* For a TYPE_DECL, use the type instead. */
if (TREE_CODE (node) == TYPE_DECL)
node = TREE_TYPE (node);
if (TYPE_P (node)
&& TYPE_CANONICAL (node) != node
&& TYPE_MAIN_VARIANT (node) != node)
{
tree orig = node;
/* Here we want to strip the topmost typedef only.
We need to do that so is_std_substitution can do proper
name matching. */
if (TREE_CODE (node) == FUNCTION_TYPE)
/* Use build_qualified_type and TYPE_QUALS here to preserve
the old buggy mangling of attribute noreturn with abi<5. */
node = build_qualified_type (TYPE_MAIN_VARIANT (node),
TYPE_QUALS (node));
else
node = cp_build_qualified_type (TYPE_MAIN_VARIANT (node),
cp_type_quals (node));
if (FUNC_OR_METHOD_TYPE_P (node))
{
node = build_ref_qualified_type (node, type_memfn_rqual (orig));
tree r = canonical_eh_spec (TYPE_RAISES_EXCEPTIONS (orig));
if (flag_noexcept_type)
node = build_exception_variant (node, r);
else
/* Set the warning flag if appropriate. */
write_exception_spec (r);
}
}
return node;
}
/* Add NODE as a substitution candidate. NODE must not already be on
the list of candidates. */
static void
add_substitution (tree node)
{
tree c;
if (DEBUG_MANGLE)
fprintf (stderr, " ++ add_substitution (%s at %10p)\n",
get_tree_code_name (TREE_CODE (node)), (void *) node);
/* Get the canonicalized substitution candidate for NODE. */
c = canonicalize_for_substitution (node);
if (DEBUG_MANGLE && c != node)
fprintf (stderr, " ++ using candidate (%s at %10p)\n",
get_tree_code_name (TREE_CODE (node)), (void *) node);
node = c;
/* Make sure NODE isn't already a candidate. */
if (flag_checking)
{
int i;
tree candidate;
FOR_EACH_VEC_SAFE_ELT (G.substitutions, i, candidate)
{
gcc_assert (!(DECL_P (node) && node == candidate));
gcc_assert (!(TYPE_P (node) && TYPE_P (candidate)
&& same_type_p (node, candidate)));
}
}
/* Put the decl onto the varray of substitution candidates. */
vec_safe_push (G.substitutions, node);
if (DEBUG_MANGLE)
dump_substitution_candidates ();
}
/* Helper function for find_substitution. Returns nonzero if NODE,
which may be a decl or a CLASS_TYPE, is a template-id with template
name of substitution_index[INDEX] in the ::std namespace. */
static inline int
is_std_substitution (const tree node,
const substitution_identifier_index_t index)
{
tree type = NULL;
tree decl = NULL;
if (DECL_P (node))
{
type = TREE_TYPE (node);
decl = node;
}
else if (CLASS_TYPE_P (node))
{
type = node;
decl = TYPE_NAME (node);
}
else
/* These are not the droids you're looking for. */
return 0;
return (DECL_NAMESPACE_STD_P (CP_DECL_CONTEXT (decl))
&& TYPE_LANG_SPECIFIC (type)
&& TYPE_TEMPLATE_INFO (type)
&& (DECL_NAME (TYPE_TI_TEMPLATE (type))
== subst_identifiers[index]));
}
/* Return the ABI tags (the TREE_VALUE of the "abi_tag" attribute entry) for T,
which can be a decl or type. */
static tree
get_abi_tags (tree t)
{
if (!t || TREE_CODE (t) == NAMESPACE_DECL)
return NULL_TREE;
if (DECL_P (t) && DECL_DECLARES_TYPE_P (t))
t = TREE_TYPE (t);
tree attrs;
if (TYPE_P (t))
attrs = TYPE_ATTRIBUTES (t);
else
attrs = DECL_ATTRIBUTES (t);
tree tags = lookup_attribute ("abi_tag", attrs);
if (tags)
tags = TREE_VALUE (tags);
return tags;
}
/* Helper function for find_substitution. Returns nonzero if NODE,
which may be a decl or a CLASS_TYPE, is the template-id
::std::identifier<char>, where identifier is
substitution_index[INDEX]. */
static inline int
is_std_substitution_char (const tree node,
const substitution_identifier_index_t index)
{
tree args;
/* Check NODE's name is ::std::identifier. */
if (!is_std_substitution (node, index))
return 0;
/* Figure out its template args. */
if (DECL_P (node))
args = DECL_TI_ARGS (node);
else if (CLASS_TYPE_P (node))
args = CLASSTYPE_TI_ARGS (node);
else
/* Oops, not a template. */
return 0;
/* NODE's template arg list should be <char>. */
return
TREE_VEC_LENGTH (args) == 1
&& TREE_VEC_ELT (args, 0) == char_type_node;
}
/* Check whether a substitution should be used to represent NODE in
the mangling.
First, check standard special-case substitutions.
<substitution> ::= St
# ::std
::= Sa
# ::std::allocator
::= Sb
# ::std::basic_string
::= Ss
# ::std::basic_string<char,
::std::char_traits<char>,
::std::allocator<char> >
::= Si
# ::std::basic_istream<char, ::std::char_traits<char> >
::= So
# ::std::basic_ostream<char, ::std::char_traits<char> >
::= Sd
# ::std::basic_iostream<char, ::std::char_traits<char> >
Then examine the stack of currently available substitution
candidates for entities appearing earlier in the same mangling
If a substitution is found, write its mangled representation and
return nonzero. If none is found, just return zero. */
static int
find_substitution (tree node)
{
int i;
const int size = vec_safe_length (G.substitutions);
tree decl;
tree type;
const char *abbr = NULL;
if (DEBUG_MANGLE)
fprintf (stderr, " ++ find_substitution (%s at %p)\n",
get_tree_code_name (TREE_CODE (node)), (void *) node);
/* Obtain the canonicalized substitution representation for NODE.
This is what we'll compare against. */
node = canonicalize_for_substitution (node);
/* Check for builtin substitutions. */
decl = TYPE_P (node) ? TYPE_NAME (node) : node;
type = TYPE_P (node) ? node : TREE_TYPE (node);
/* Check for std::allocator. */
if (decl
&& is_std_substitution (decl, SUBID_ALLOCATOR)
&& !CLASSTYPE_USE_TEMPLATE (TREE_TYPE (decl)))
abbr = "Sa";
/* Check for std::basic_string. */
else if (decl && is_std_substitution (decl, SUBID_BASIC_STRING))
{
if (TYPE_P (node))
{
/* If this is a type (i.e. a fully-qualified template-id),
check for
std::basic_string <char,
std::char_traits<char>,
std::allocator<char> > . */
if (cp_type_quals (type) == TYPE_UNQUALIFIED
&& CLASSTYPE_USE_TEMPLATE (type))
{
tree args = CLASSTYPE_TI_ARGS (type);
if (TREE_VEC_LENGTH (args) == 3
&& template_args_equal (TREE_VEC_ELT (args, 0), char_type_node)
&& is_std_substitution_char (TREE_VEC_ELT (args, 1),
SUBID_CHAR_TRAITS)
&& is_std_substitution_char (TREE_VEC_ELT (args, 2),
SUBID_ALLOCATOR))
abbr = "Ss";
}
}
else
/* Substitute for the template name only if this isn't a type. */
abbr = "Sb";
}
/* Check for basic_{i,o,io}stream. */
else if (TYPE_P (node)
&& cp_type_quals (type) == TYPE_UNQUALIFIED
&& CLASS_TYPE_P (type)
&& CLASSTYPE_USE_TEMPLATE (type)
&& CLASSTYPE_TEMPLATE_INFO (type) != NULL)
{
/* First, check for the template
args <char, std::char_traits<char> > . */
tree args = CLASSTYPE_TI_ARGS (type);
if (TREE_VEC_LENGTH (args) == 2
&& template_args_equal (TREE_VEC_ELT (args, 0), char_type_node)
&& is_std_substitution_char (TREE_VEC_ELT (args, 1),
SUBID_CHAR_TRAITS))
{
/* Got them. Is this basic_istream? */
if (is_std_substitution (decl, SUBID_BASIC_ISTREAM))
abbr = "Si";
/* Or basic_ostream? */
else if (is_std_substitution (decl, SUBID_BASIC_OSTREAM))
abbr = "So";
/* Or basic_iostream? */
else if (is_std_substitution (decl, SUBID_BASIC_IOSTREAM))
abbr = "Sd";
}
}
/* Check for namespace std. */
else if (decl && DECL_NAMESPACE_STD_P (decl))
{
write_string ("St");
return 1;
}
tree tags = NULL_TREE;
if (OVERLOAD_TYPE_P (node) || DECL_CLASS_TEMPLATE_P (node))
tags = get_abi_tags (type);
/* Now check the list of available substitutions for this mangling
operation. */
if (!abbr || tags) for (i = 0; i < size; ++i)
{
tree candidate = (*G.substitutions)[i];
/* NODE is a matched to a candidate if it's the same decl node or
if it's the same type. */
if (decl == candidate
|| (TYPE_P (candidate) && type && TYPE_P (node)
&& same_type_p (type, candidate))
|| NESTED_TEMPLATE_MATCH (node, candidate))
{
write_substitution (i);
return 1;
}
}
if (!abbr)
/* No substitution found. */
return 0;
write_string (abbr);
if (tags)
{
/* If there are ABI tags on the abbreviation, it becomes
a substitution candidate. */
write_abi_tags (tags);
add_substitution (node);
}
return 1;
}
/* Returns whether DECL's symbol name should be the plain unqualified-id
rather than a more complicated mangled name. */
static bool
unmangled_name_p (const tree decl)
{
if (TREE_CODE (decl) == FUNCTION_DECL)
{
/* The names of `extern "C"' functions are not mangled. */
return (DECL_EXTERN_C_FUNCTION_P (decl)
/* But overloaded operator names *are* mangled. */
&& !DECL_OVERLOADED_OPERATOR_P (decl));
}
else if (VAR_P (decl))
{
/* static variables are mangled. */
if (!DECL_EXTERNAL_LINKAGE_P (decl))
return false;
/* extern "C" declarations aren't mangled. */
if (DECL_EXTERN_C_P (decl))
return true;
/* Other variables at non-global scope are mangled. */
if (CP_DECL_CONTEXT (decl) != global_namespace)
return false;
/* Variable template instantiations are mangled. */
if (DECL_LANG_SPECIFIC (decl) && DECL_TEMPLATE_INFO (decl)
&& variable_template_p (DECL_TI_TEMPLATE (decl)))
return false;
/* Declarations with ABI tags are mangled. */
if (get_abi_tags (decl))
return false;
/* The names of non-static global variables aren't mangled. */
return true;
}
return false;
}
/* TOP_LEVEL is true, if this is being called at outermost level of
mangling. It should be false when mangling a decl appearing in an
expression within some other mangling.
<mangled-name> ::= _Z <encoding> */
static void
write_mangled_name (const tree decl, bool top_level)
{
MANGLE_TRACE_TREE ("mangled-name", decl);
check_abi_tags (decl);
if (unmangled_name_p (decl))
{
if (top_level)
write_string (IDENTIFIER_POINTER (DECL_NAME (decl)));
else
{
/* The standard notes: "The <encoding> of an extern "C"
function is treated like global-scope data, i.e. as its
<source-name> without a type." We cannot write
overloaded operators that way though, because it contains
characters invalid in assembler. */
write_string ("_Z");
write_source_name (DECL_NAME (decl));
}
}
else
{
write_string ("_Z");
write_encoding (decl);
}
}
/* Returns true if the return type of DECL is part of its signature, and
therefore its mangling. */
bool
mangle_return_type_p (tree decl)
{
return (!DECL_CONSTRUCTOR_P (decl)
&& !DECL_DESTRUCTOR_P (decl)
&& !DECL_CONV_FN_P (decl)
&& maybe_template_info (decl));
}
/* <encoding> ::= <function name> <bare-function-type>
::= <data name> */
static void
write_encoding (const tree decl)
{
MANGLE_TRACE_TREE ("encoding", decl);
if (DECL_LANG_SPECIFIC (decl) && DECL_EXTERN_C_FUNCTION_P (decl))
{
/* For overloaded operators write just the mangled name
without arguments. */
if (DECL_OVERLOADED_OPERATOR_P (decl))
write_name (decl, /*ignore_local_scope=*/0);
else
write_source_name (DECL_NAME (decl));
return;
}
write_name (decl, /*ignore_local_scope=*/0);
if (TREE_CODE (decl) == FUNCTION_DECL)
{
tree fn_type;
tree d;
if (maybe_template_info (decl))
{
fn_type = get_mostly_instantiated_function_type (decl);
/* FN_TYPE will not have parameter types for in-charge or
VTT parameters. Therefore, we pass NULL_TREE to
write_bare_function_type -- otherwise, it will get
confused about which artificial parameters to skip. */
d = NULL_TREE;
}
else
{
fn_type = TREE_TYPE (decl);
d = decl;
}
write_bare_function_type (fn_type,
mangle_return_type_p (decl),
d);
/* If this is a coroutine helper, then append an appropriate string to
identify which. */
if (tree ramp = DECL_RAMP_FN (decl))
{
if (DECL_ACTOR_FN (ramp) == decl)
write_string (JOIN_STR "actor");
else if (DECL_DESTROY_FN (ramp) == decl)
write_string (JOIN_STR "destroy");
else
gcc_unreachable ();
}
}
}
/* Interface to substitution and identifier mangling, used by the
module name mangler. */
void
mangle_module_substitution (int v)
{
if (v < 10)
{
write_char ('_');
write_char ('0' + v);
}
else
{
write_char ('W');
write_unsigned_number (v - 10);
write_char ('_');
}
}
void
mangle_identifier (char c, tree id)
{
if (c)
write_char (c);
write_source_name (id);
}
/* If the outermost non-namespace context (including DECL itself) is
a module-linkage decl, mangle the module information. For module
global initializers we need to include the partition part.
<module-name> ::= W <module-id>+ E
<module-id> :: <unqualified-name>
|| _ <digit> ;; short backref
|| W <number> _ ;; long backref
|| P <module-id> ;; partition introducer
*/
static void
write_module (int m, bool include_partition)
{
G.mod = true;
write_char ('W');
mangle_module (m, include_partition);
write_char ('E');
}
static void
maybe_write_module (tree decl)
{
int m = get_originating_module (decl, true);
if (m >= 0)
write_module (m, false);
}
/* Lambdas can have a bit more context for mangling, specifically VAR_DECL
or PARM_DECL context, which doesn't belong in DECL_CONTEXT. */
static tree
decl_mangling_context (tree decl)
{
tree tcontext = targetm.cxx.decl_mangling_context (decl);
if (tcontext != NULL_TREE)
return tcontext;
if (TREE_CODE (decl) == TEMPLATE_DECL
&& DECL_TEMPLATE_RESULT (decl))
decl = DECL_TEMPLATE_RESULT (decl);
if (TREE_CODE (decl) == TYPE_DECL
&& LAMBDA_TYPE_P (TREE_TYPE (decl)))
{
tree extra = LAMBDA_TYPE_EXTRA_SCOPE (TREE_TYPE (decl));
if (extra)
return extra;
}
else if (template_type_parameter_p (decl))
/* template type parms have no mangling context. */
return NULL_TREE;
tcontext = CP_DECL_CONTEXT (decl);
/* Ignore the artificial declare reduction functions. */
if (tcontext
&& TREE_CODE (tcontext) == FUNCTION_DECL
&& DECL_OMP_DECLARE_REDUCTION_P (tcontext))
return decl_mangling_context (tcontext);
return tcontext;
}
/* <name> ::= <unscoped-name>
::= <unscoped-template-name> <template-args>
::= <nested-name>
::= <local-name>
If IGNORE_LOCAL_SCOPE is nonzero, this production of <name> is
called from <local-name>, which mangles the enclosing scope
elsewhere and then uses this function to mangle just the part
underneath the function scope. So don't use the <local-name>
production, to avoid an infinite recursion. */
static void
write_name (tree decl, const int ignore_local_scope)
{
tree context;
MANGLE_TRACE_TREE ("name", decl);
if (TREE_CODE (decl) == TYPE_DECL)
{
/* In case this is a typedef, fish out the corresponding
TYPE_DECL for the main variant. */
decl = TYPE_NAME (TYPE_MAIN_VARIANT (TREE_TYPE (decl)));
}
if (modules_p ())
maybe_write_module (decl);
context = decl_mangling_context (decl);
gcc_assert (context != NULL_TREE);
if (abi_warn_or_compat_version_crosses (7)
&& ignore_local_scope
&& TREE_CODE (context) == PARM_DECL)
G.need_abi_warning = 1;
/* A decl in :: or ::std scope is treated specially. The former is
mangled using <unscoped-name> or <unscoped-template-name>, the
latter with a special substitution. Also, a name that is
directly in a local function scope is also mangled with
<unscoped-name> rather than a full <nested-name>. */
if (context == global_namespace
|| DECL_NAMESPACE_STD_P (context)
|| (ignore_local_scope
&& (TREE_CODE (context) == FUNCTION_DECL
|| (abi_version_at_least (7)
&& TREE_CODE (context) == PARM_DECL))))
{
/* Is this a template instance? */
if (tree info = maybe_template_info (decl))
{
/* Yes: use <unscoped-template-name>. */
write_unscoped_template_name (TI_TEMPLATE (info));
write_template_args (TI_ARGS (info));
}
else
/* Everything else gets an <unqualified-name>. */
write_unscoped_name (decl);
}
else
{
/* Handle local names, unless we asked not to (that is, invoked
under <local-name>, to handle only the part of the name under
the local scope). */
if (!ignore_local_scope)
{
/* Scan up the list of scope context, looking for a
function. If we find one, this entity is in local
function scope. local_entity tracks context one scope
level down, so it will contain the element that's
directly in that function's scope, either decl or one of
its enclosing scopes. */
tree local_entity = decl;
while (context != global_namespace)
{
/* Make sure we're always dealing with decls. */
if (TYPE_P (context))
context = TYPE_NAME (context);
/* Is this a function? */
if (TREE_CODE (context) == FUNCTION_DECL
|| TREE_CODE (context) == PARM_DECL)
{
/* Yes, we have local scope. Use the <local-name>
production for the innermost function scope. */
write_local_name (context, local_entity, decl);
return;
}
/* Up one scope level. */
local_entity = context;
context = decl_mangling_context (context);
}
/* No local scope found? Fall through to <nested-name>. */
}
/* Other decls get a <nested-name> to encode their scope. */
write_nested_name (decl);
}
}
/* <unscoped-name> ::= <unqualified-name>
::= St <unqualified-name> # ::std:: */
static void
write_unscoped_name (const tree decl)
{
tree context = decl_mangling_context (decl);
MANGLE_TRACE_TREE ("unscoped-name", decl);
/* Is DECL in ::std? */
if (DECL_NAMESPACE_STD_P (context))
{
write_string ("St");
write_unqualified_name (decl);
}
else
{
/* If not, it should be either in the global namespace, or directly
in a local function scope. A lambda can also be mangled in the
scope of a default argument. */
gcc_assert (context == global_namespace
|| TREE_CODE (context) == PARM_DECL
|| TREE_CODE (context) == FUNCTION_DECL);
write_unqualified_name (decl);
}
}
/* <unscoped-template-name> ::= <unscoped-name>
::= <substitution> */
static void
write_unscoped_template_name (const tree decl)
{
MANGLE_TRACE_TREE ("unscoped-template-name", decl);
if (find_substitution (decl))
return;
write_unscoped_name (decl);
add_substitution (decl);
}
/* Write the nested name, including CV-qualifiers, of DECL.
<nested-name> ::= N [<CV-qualifiers>] [<ref-qualifier>] <prefix> <unqualified-name> E
::= N [<CV-qualifiers>] [<ref-qualifier>] <template-prefix> <template-args> E
<ref-qualifier> ::= R # & ref-qualifier
::= O # && ref-qualifier
<CV-qualifiers> ::= [r] [V] [K] */
static void
write_nested_name (const tree decl)
{
MANGLE_TRACE_TREE ("nested-name", decl);
write_char ('N');
/* Write CV-qualifiers, if this is a member function. */
if (TREE_CODE (decl) == FUNCTION_DECL
&& DECL_NONSTATIC_MEMBER_FUNCTION_P (decl))
{
if (DECL_VOLATILE_MEMFUNC_P (decl))
write_char ('V');
if (DECL_CONST_MEMFUNC_P (decl))
write_char ('K');
if (FUNCTION_REF_QUALIFIED (TREE_TYPE (decl)))
{
if (FUNCTION_RVALUE_QUALIFIED (TREE_TYPE (decl)))
write_char ('O');
else
write_char ('R');
}
}
/* Is this a template instance? */
if (tree info = maybe_template_info (decl))
{
/* Yes, use <template-prefix>. */
write_template_prefix (decl);
write_template_args (TI_ARGS (info));
}
else if ((!abi_version_at_least (10) || TREE_CODE (decl) == TYPE_DECL)
&& TREE_CODE (TREE_TYPE (decl)) == TYPENAME_TYPE)
{
tree name = TYPENAME_TYPE_FULLNAME (TREE_TYPE (decl));
if (TREE_CODE (name) == TEMPLATE_ID_EXPR)
{
write_template_prefix (decl);
write_template_args (TREE_OPERAND (name, 1));
}
else
{
write_prefix (decl_mangling_context (decl));
write_unqualified_name (decl);
}
}
else
{
/* No, just use <prefix> */
write_prefix (decl_mangling_context (decl));
write_unqualified_name (decl);
}
write_char ('E');
}
/* <prefix> ::= <prefix> <unqualified-name>
::= <template-param>
::= <template-prefix> <template-args>
::= <decltype>
::= # empty
::= <substitution> */
static void
write_prefix (const tree node)
{
tree decl;
if (node == NULL
|| node == global_namespace)
return;
MANGLE_TRACE_TREE ("prefix", node);
if (TREE_CODE (node) == DECLTYPE_TYPE)
{
write_type (node);
return;
}
if (find_substitution (node))
return;
tree template_info = NULL_TREE;
if (DECL_P (node))
{
/* If this is a function or parm decl, that means we've hit function
scope, so this prefix must be for a local name. In this
case, we're under the <local-name> production, which encodes
the enclosing function scope elsewhere. So don't continue
here. */
if (TREE_CODE (node) == FUNCTION_DECL
|| TREE_CODE (node) == PARM_DECL)
return;
decl = node;
template_info = maybe_template_info (decl);
}
else
{
/* Node is a type. */
decl = TYPE_NAME (node);
/* The DECL might not point at the node. */
if (CLASSTYPE_TEMPLATE_ID_P (node))
template_info = TYPE_TEMPLATE_INFO (node);
}
if (TREE_CODE (node) == TEMPLATE_TYPE_PARM)
write_template_param (node);
else if (template_info)
/* Templated. */
{
write_template_prefix (decl);
write_template_args (TI_ARGS (template_info));
}
else if (TREE_CODE (TREE_TYPE (decl)) == TYPENAME_TYPE)
{
tree name = TYPENAME_TYPE_FULLNAME (TREE_TYPE (decl));
if (TREE_CODE (name) == TEMPLATE_ID_EXPR)
{
write_template_prefix (decl);
write_template_args (TREE_OPERAND (name, 1));
}
else
{
write_prefix (decl_mangling_context (decl));
write_unqualified_name (decl);
}
}
else
/* Not templated. */
{
write_prefix (decl_mangling_context (decl));
write_unqualified_name (decl);
if (VAR_P (decl)
|| TREE_CODE (decl) == FIELD_DECL)
{
/* <data-member-prefix> := <member source-name> M */
write_char ('M');
return;
}
}
add_substitution (node);
}
/* <template-prefix> ::= <prefix> <template component>
::= <template-param>
::= <substitution> */
static void
write_template_prefix (const tree node)
{
tree decl = DECL_P (node) ? node : TYPE_NAME (node);
tree type = DECL_P (node) ? TREE_TYPE (node) : node;
tree context = decl_mangling_context (decl);
tree templ;
tree substitution;
MANGLE_TRACE_TREE ("template-prefix", node);
/* Find the template decl. */
if (tree info = maybe_template_info (decl))
templ = TI_TEMPLATE (info);
else if (TREE_CODE (type) == TYPENAME_TYPE)
/* For a typename type, all we have is the name. */
templ = DECL_NAME (decl);
else
{
gcc_assert (CLASSTYPE_TEMPLATE_ID_P (type));
templ = TYPE_TI_TEMPLATE (type);
}
/* For a member template, though, the template name for the
innermost name must have all the outer template levels
instantiated. For instance, consider
template<typename T> struct Outer {
template<typename U> struct Inner {};
};
The template name for `Inner' in `Outer<int>::Inner<float>' is
`Outer<int>::Inner<U>'. In g++, we don't instantiate the template
levels separately, so there's no TEMPLATE_DECL available for this
(there's only `Outer<T>::Inner<U>').
In order to get the substitutions right, we create a special
TREE_LIST to represent the substitution candidate for a nested
template. The TREE_PURPOSE is the template's context, fully
instantiated, and the TREE_VALUE is the TEMPLATE_DECL for the inner
template.
So, for the example above, `Outer<int>::Inner' is represented as a
substitution candidate by a TREE_LIST whose purpose is `Outer<int>'
and whose value is `Outer<T>::Inner<U>'. */
if (context && TYPE_P (context))
substitution = build_tree_list (context, templ);
else
substitution = templ;
if (find_substitution (substitution))
return;
if (TREE_TYPE (templ)
&& TREE_CODE (TREE_TYPE (templ)) == TEMPLATE_TEMPLATE_PARM)
write_template_param (TREE_TYPE (templ));
else
{
write_prefix (context);
write_unqualified_name (decl);
}
add_substitution (substitution);
}
/* As the list of identifiers for the structured binding declaration
DECL is likely gone, try to recover the DC <source-name>+ E portion
from its mangled name. Return pointer to the DC and set len to
the length up to and including the terminating E. On failure
return NULL. */
static const char *
find_decomp_unqualified_name (tree decl, size_t *len)
{
const char *p = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
const char *end = p + IDENTIFIER_LENGTH (DECL_ASSEMBLER_NAME (decl));
bool nested = false;
if (!startswith (p, "_Z"))
return NULL;
p += 2;
if (startswith (p, "St"))
p += 2;
else if (*p == 'N')
{
nested = true;
++p;
while (ISDIGIT (p[0]))
{
char *e;
long num = strtol (p, &e, 10);
if (num >= 1 && num < end - e)
p = e + num;
else
break;
}
}
if (!startswith (p, "DC"))
return NULL;
if (nested)
{
if (end[-1] != 'E')
return NULL;
--end;
}
if (end[-1] != 'E')
return NULL;
*len = end - p;
return p;
}
/* We don't need to handle thunks, vtables, or VTTs here. Those are
mangled through special entry points.
<unqualified-name> ::= <operator-name>
::= <special-name>
::= <source-name>
::= <unnamed-type-name>
::= <local-source-name>
<local-source-name> ::= L <source-name> <discriminator> */
static void
write_unqualified_id (tree identifier)
{
if (IDENTIFIER_CONV_OP_P (identifier))
write_conversion_operator_name (TREE_TYPE (identifier));
else if (IDENTIFIER_OVL_OP_P (identifier))
{
const ovl_op_info_t *ovl_op = IDENTIFIER_OVL_OP_INFO (identifier);
write_string (ovl_op->mangled_name);
}
else if (UDLIT_OPER_P (identifier))
write_literal_operator_name (identifier);
else
write_source_name (identifier);
}
static void
write_unqualified_name (tree decl)
{
MANGLE_TRACE_TREE ("unqualified-name", decl);
if (identifier_p (decl))
{
write_unqualified_id (decl);
return;
}
bool found = false;
if (DECL_NAME (decl) == NULL_TREE)
{
found = true;
gcc_assert (DECL_ASSEMBLER_NAME_SET_P (decl));
const char *decomp_str = NULL;
size_t decomp_len = 0;
if (VAR_P (decl)
&& DECL_DECOMPOSITION_P (decl)
&& DECL_NAME (decl) == NULL_TREE
&& DECL_NAMESPACE_SCOPE_P (decl))
decomp_str = find_decomp_unqualified_name (decl, &decomp_len);
if (decomp_str)
write_chars (decomp_str, decomp_len);
else
write_source_name (DECL_ASSEMBLER_NAME (decl));
}
else if (DECL_DECLARES_FUNCTION_P (decl))
{
found = true;
if (DECL_CONSTRUCTOR_P (decl))
write_special_name_constructor (decl);
else if (DECL_DESTRUCTOR_P (decl))
write_special_name_destructor (decl);
else if (DECL_CONV_FN_P (decl))
{
/* Conversion operator. Handle it right here.
<operator> ::= cv <type> */
tree type;
if (maybe_template_info (decl))
{
tree fn_type;
fn_type = get_mostly_instantiated_function_type (decl);
type = TREE_TYPE (fn_type);
}
else if (FNDECL_USED_AUTO (decl))
type = DECL_SAVED_AUTO_RETURN_TYPE (decl);
else
type = DECL_CONV_FN_TYPE (decl);
write_conversion_operator_name (type);
}
else if (DECL_OVERLOADED_OPERATOR_P (decl))
{
tree t;
if (!(t = DECL_RAMP_FN (decl)))
t = decl;
const char *mangled_name
= (ovl_op_info[DECL_ASSIGNMENT_OPERATOR_P (t)]
[DECL_OVERLOADED_OPERATOR_CODE_RAW (t)].mangled_name);
write_string (mangled_name);
}
else if (UDLIT_OPER_P (DECL_NAME (decl)))
write_literal_operator_name (DECL_NAME (decl));
else
found = false;
}
if (found)
/* OK */;
else if (VAR_OR_FUNCTION_DECL_P (decl) && ! TREE_PUBLIC (decl)
&& DECL_NAMESPACE_SCOPE_P (decl)
&& decl_linkage (decl) == lk_internal)
{
MANGLE_TRACE_TREE ("local-source-name", decl);
write_char ('L');
write_source_name (DECL_NAME (decl));
/* The default discriminator is 1, and that's all we ever use,
so there's no code to output one here. */
}
else
{
tree type = TREE_TYPE (decl);
if (TREE_CODE (decl) == TYPE_DECL
&& TYPE_UNNAMED_P (type))
write_unnamed_type_name (type);
else if (TREE_CODE (decl) == TYPE_DECL && LAMBDA_TYPE_P (type))
write_closure_type_name (type);
else
write_source_name (DECL_NAME (decl));
}
/* We use the ABI tags from the primary class template, ignoring tags on any
specializations. This is necessary because C++ doesn't require a
specialization to be declared before it is used unless the use requires a
complete type, but we need to get the tags right on incomplete types as
well. */
if (tree tmpl = most_general_template (decl))
{
tree res = DECL_TEMPLATE_RESULT (tmpl);
if (res == NULL_TREE)
/* UNBOUND_CLASS_TEMPLATE. */;
else if (DECL_DECLARES_TYPE_P (decl))
decl = res;
else if (any_abi_below (11))
{
/* ABI v10 implicit tags on the template. */
tree mtags = missing_abi_tags (res);
/* Explicit tags on the template. */
tree ttags = get_abi_tags (res);
/* Tags on the instantiation. */
tree dtags = get_abi_tags (decl);
if (mtags && abi_warn_or_compat_version_crosses (10))
G.need_abi_warning = 1;
/* Add the v10 tags to the explicit tags now. */
mtags = chainon (mtags, ttags);
if (!G.need_abi_warning
&& abi_warn_or_compat_version_crosses (11)
&& !equal_abi_tags (dtags, mtags))
G.need_abi_warning = 1;
if (!abi_version_at_least (10))
/* In abi <10, we only got the explicit tags. */
decl = res;
else if (flag_abi_version == 10)
{
/* In ABI 10, we want explict and implicit tags. */
write_abi_tags (mtags);
return;
}
}
}
tree tags = get_abi_tags (decl);
if (TREE_CODE (decl) == FUNCTION_DECL && DECL_CONV_FN_P (decl)
&& any_abi_below (11))
if (tree mtags = missing_abi_tags (decl))
{
if (abi_warn_or_compat_version_crosses (11))
G.need_abi_warning = true;
if (!abi_version_at_least (11))
tags = chainon (mtags, tags);
}
write_abi_tags (tags);
}
/* Write the unqualified-name for a conversion operator to TYPE. */
static void
write_conversion_operator_name (const tree type)
{
write_string ("cv");
write_type (type);
}
/* Non-terminal <source-name>. IDENTIFIER is an IDENTIFIER_NODE.
<source-name> ::= </length/ number> <identifier> */
static void
write_source_name (tree identifier)
{
MANGLE_TRACE_TREE ("source-name", identifier);
write_unsigned_number (IDENTIFIER_LENGTH (identifier));
write_identifier (IDENTIFIER_POINTER (identifier));
}
/* Compare two TREE_STRINGs like strcmp. */
int
tree_string_cmp (const void *p1, const void *p2)
{
if (p1 == p2)
return 0;
tree s1 = *(const tree*)p1;
tree s2 = *(const tree*)p2;
return strcmp (TREE_STRING_POINTER (s1),
TREE_STRING_POINTER (s2));
}
/* Return the TREE_LIST of TAGS as a sorted VEC. */
static vec<tree, va_gc> *
sorted_abi_tags (tree tags)
{
vec<tree, va_gc> * vec = make_tree_vector();
for (tree t = tags; t; t = TREE_CHAIN (t))
{
if (ABI_TAG_IMPLICIT (t))
continue;
tree str = TREE_VALUE (t);
vec_safe_push (vec, str);
}
vec->qsort (tree_string_cmp);
return vec;
}
/* ID is the name of a function or type with abi_tags attribute TAGS.
Write out the name, suitably decorated. */
static void
write_abi_tags (tree tags)
{
if (tags == NULL_TREE)
return;
vec<tree, va_gc> * vec = sorted_abi_tags (tags);
unsigned i; tree str;
FOR_EACH_VEC_ELT (*vec, i, str)
{
write_string ("B");
write_unsigned_number (TREE_STRING_LENGTH (str) - 1);
write_identifier (TREE_STRING_POINTER (str));
}
release_tree_vector (vec);
}
/* True iff the TREE_LISTS T1 and T2 of ABI tags are equivalent. */
static bool
equal_abi_tags (tree t1, tree t2)
{
releasing_vec v1 = sorted_abi_tags (t1);
releasing_vec v2 = sorted_abi_tags (t2);
unsigned len1 = v1->length();
if (len1 != v2->length())
return false;
for (unsigned i = 0; i < len1; ++i)
if (tree_string_cmp (v1[i], v2[i]) != 0)
return false;
return true;
}
/* Write a user-defined literal operator.
::= li <source-name> # "" <source-name>
IDENTIFIER is an LITERAL_IDENTIFIER_NODE. */
static void
write_literal_operator_name (tree identifier)
{
const char* suffix = UDLIT_OP_SUFFIX (identifier);
write_identifier (UDLIT_OP_MANGLED_PREFIX);
write_unsigned_number (strlen (suffix));
write_identifier (suffix);
}
/* Encode 0 as _, and 1+ as n-1_. */
static void
write_compact_number (int num)
{
gcc_checking_assert (num >= 0);
if (num > 0)
write_unsigned_number (num - 1);
write_char ('_');
}
/* Return how many unnamed types precede TYPE in its enclosing class. */
static int
nested_anon_class_index (tree type)
{
int index = 0;
tree member = TYPE_FIELDS (TYPE_CONTEXT (type));
for (; member; member = DECL_CHAIN (member))
if (DECL_IMPLICIT_TYPEDEF_P (member))
{
tree memtype = TREE_TYPE (member);
if (memtype == type)
return index;
else if (TYPE_UNNAMED_P (memtype))
++index;
}
if (seen_error ())
return -1;
gcc_unreachable ();
}
/* <unnamed-type-name> ::= Ut [ <nonnegative number> ] _ */
static void
write_unnamed_type_name (const tree type)
{
int discriminator;
MANGLE_TRACE_TREE ("unnamed-type-name", type);
if (TYPE_FUNCTION_SCOPE_P (type))
discriminator = discriminator_for_local_entity (TYPE_NAME (type));
else if (TYPE_CLASS_SCOPE_P (type))
discriminator = nested_anon_class_index (type);
else
{
gcc_assert (no_linkage_check (type, /*relaxed_p=*/true));
/* Just use the old mangling at namespace scope. */
write_source_name (TYPE_IDENTIFIER (type));
return;
}
write_string ("Ut");
write_compact_number (discriminator);
}
/* <closure-type-name> ::= Ul <lambda-sig> E [ <nonnegative number> ] _
<lambda-sig> ::= <parameter type>+ # Parameter types or "v" if the lambda has no parameters */
static void
write_closure_type_name (const tree type)
{
tree fn = lambda_function (type);
tree lambda = CLASSTYPE_LAMBDA_EXPR (type);
tree parms = TYPE_ARG_TYPES (TREE_TYPE (fn));
MANGLE_TRACE_TREE ("closure-type-name", type);
write_string ("Ul");
write_method_parms (parms, /*method_p=*/1, fn);
write_char ('E');
write_compact_number (LAMBDA_EXPR_DISCRIMINATOR (lambda));
}
/* Convert NUMBER to ascii using base BASE and generating at least
MIN_DIGITS characters. BUFFER points to the _end_ of the buffer
into which to store the characters. Returns the number of
characters generated (these will be laid out in advance of where
BUFFER points). */
static int
hwint_to_ascii (unsigned HOST_WIDE_INT number, const unsigned int base,
char *buffer, const unsigned int min_digits)
{
static const char base_digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
unsigned digits = 0;
while (number)
{
unsigned HOST_WIDE_INT d = number / base;
*--buffer = base_digits[number - d * base];
digits++;
number = d;
}
while (digits < min_digits)
{
*--buffer = base_digits[0];
digits++;
}
return digits;
}
/* Non-terminal <number>.
<number> ::= [n] </decimal integer/> */
static void
write_number (unsigned HOST_WIDE_INT number, const int unsigned_p,
const unsigned int base)
{
char buffer[sizeof (HOST_WIDE_INT) * 8];
unsigned count = 0;
if (!unsigned_p && (HOST_WIDE_INT) number < 0)
{
write_char ('n');
number = -((HOST_WIDE_INT) number);
}
count = hwint_to_ascii (number, base, buffer + sizeof (buffer), 1);
write_chars (buffer + sizeof (buffer) - count, count);
}
/* Write out an integral CST in decimal. Most numbers are small, and
representable in a HOST_WIDE_INT. Occasionally we'll have numbers
bigger than that, which we must deal with. */
static inline void
write_integer_cst (const tree cst)
{
int sign = tree_int_cst_sgn (cst);
widest_int abs_value = wi::abs (wi::to_widest (cst));
if (!wi::fits_uhwi_p (abs_value))
{
/* A bignum. We do this in chunks, each of which fits in a
HOST_WIDE_INT. */
char buffer[sizeof (HOST_WIDE_INT) * 8 * 2];
unsigned HOST_WIDE_INT chunk;
unsigned chunk_digits;
char *ptr = buffer + sizeof (buffer);
unsigned count = 0;
tree n, base, type;
int done;
/* HOST_WIDE_INT must be at least 32 bits, so 10^9 is
representable. */
chunk = 1000000000;
chunk_digits = 9;
if (sizeof (HOST_WIDE_INT) >= 8)
{
/* It is at least 64 bits, so 10^18 is representable. */
chunk_digits = 18;
chunk *= chunk;
}
type = c_common_signed_or_unsigned_type (1, TREE_TYPE (cst));
base = build_int_cstu (type, chunk);
n = wide_int_to_tree (type, wi::to_wide (cst));
if (sign < 0)
{
write_char ('n');
n = fold_build1_loc (input_location, NEGATE_EXPR, type, n);
}
do
{
tree d = fold_build2_loc (input_location, FLOOR_DIV_EXPR, type, n, base);
tree tmp = fold_build2_loc (input_location, MULT_EXPR, type, d, base);
unsigned c;
done = integer_zerop (d);
tmp = fold_build2_loc (input_location, MINUS_EXPR, type, n, tmp);
c = hwint_to_ascii (TREE_INT_CST_LOW (tmp), 10, ptr,
done ? 1 : chunk_digits);
ptr -= c;
count += c;
n = d;
}
while (!done);
write_chars (ptr, count);
}
else
{
/* A small num. */
if (sign < 0)
write_char ('n');
write_unsigned_number (abs_value.to_uhwi ());
}
}
/* Write out a floating-point literal.
"Floating-point literals are encoded using the bit pattern of the
target processor's internal representation of that number, as a
fixed-length lowercase hexadecimal string, high-order bytes first
(even if the target processor would store low-order bytes first).
The "n" prefix is not used for floating-point literals; the sign
bit is encoded with the rest of the number.
Here are some examples, assuming the IEEE standard representation
for floating point numbers. (Spaces are for readability, not
part of the encoding.)
1.0f Lf 3f80 0000 E
-1.0f Lf bf80 0000 E
1.17549435e-38f Lf 0080 0000 E
1.40129846e-45f Lf 0000 0001 E
0.0f Lf 0000 0000 E"
Caller is responsible for the Lx and the E. */
static void
write_real_cst (const tree value)
{
long target_real[4]; /* largest supported float */
/* Buffer for eight hex digits in a 32-bit number but big enough
even for 64-bit long to avoid warnings. */
char buffer[17];
int i, limit, dir;
tree type = TREE_TYPE (value);
int words = GET_MODE_BITSIZE (SCALAR_FLOAT_TYPE_MODE (type)) / 32;
real_to_target (target_real, &TREE_REAL_CST (value),
TYPE_MODE (type));
/* The value in target_real is in the target word order,
so we must write it out backward if that happens to be
little-endian. write_number cannot be used, it will
produce uppercase. */
if (FLOAT_WORDS_BIG_ENDIAN)
i = 0, limit = words, dir = 1;
else
i = words - 1, limit = -1, dir = -1;
for (; i != limit; i += dir)
{
sprintf (buffer, "%08lx", (unsigned long) target_real[i]);
write_chars (buffer, 8);
}
}
/* Non-terminal <identifier>.
<identifier> ::= </unqualified source code identifier> */
static void
write_identifier (const char *identifier)
{
MANGLE_TRACE ("identifier", identifier);
write_string (identifier);
}
/* Handle constructor productions of non-terminal <special-name>.
CTOR is a constructor FUNCTION_DECL.
<special-name> ::= C1 # complete object constructor
::= C2 # base object constructor
::= C3 # complete object allocating constructor
Currently, allocating constructors are never used. */
static void
write_special_name_constructor (const tree ctor)
{
write_char ('C');
bool new_inh = (flag_new_inheriting_ctors
&& DECL_INHERITED_CTOR (ctor));
if (new_inh)
write_char ('I');
if (DECL_BASE_CONSTRUCTOR_P (ctor))
write_char ('2');
/* This is the old-style "[unified]" constructor.
In some cases, we may emit this function and call
it from the clones in order to share code and save space. */
else if (DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (ctor))
write_char ('4');
else
{
gcc_assert (DECL_COMPLETE_CONSTRUCTOR_P (ctor));
write_char ('1');
}
if (new_inh)
write_type (DECL_INHERITED_CTOR_BASE (ctor));
}
/* Handle destructor productions of non-terminal <special-name>.
DTOR is a destructor FUNCTION_DECL.
<special-name> ::= D0 # deleting (in-charge) destructor
::= D1 # complete object (in-charge) destructor
::= D2 # base object (not-in-charge) destructor */
static void
write_special_name_destructor (const tree dtor)
{
if (DECL_DELETING_DESTRUCTOR_P (dtor))
write_string ("D0");
else if (DECL_BASE_DESTRUCTOR_P (dtor))
write_string ("D2");
else if (DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (dtor))
/* This is the old-style "[unified]" destructor.
In some cases, we may emit this function and call
it from the clones in order to share code and save space. */
write_string ("D4");
else
{
gcc_assert (DECL_COMPLETE_DESTRUCTOR_P (dtor));
write_string ("D1");
}
}
/* Return the discriminator for ENTITY appearing inside
FUNCTION. The discriminator is the lexical ordinal of VAR or TYPE among
entities with the same name and kind in the same FUNCTION. */
static int
discriminator_for_local_entity (tree entity)
{
if (!DECL_LANG_SPECIFIC (entity))
{
/* Some decls, like __FUNCTION__, don't need a discriminator. */
gcc_checking_assert (DECL_ARTIFICIAL (entity));
return 0;
}
else if (tree disc = DECL_DISCRIMINATOR (entity))
return TREE_INT_CST_LOW (disc);
else
/* The first entity with a particular name doesn't get
DECL_DISCRIMINATOR set up. */
return 0;
}
/* Return the discriminator for STRING, a string literal used inside
FUNCTION. The discriminator is the lexical ordinal of STRING among
string literals used in FUNCTION. */
static int
discriminator_for_string_literal (tree /*function*/,
tree /*string*/)
{
/* For now, we don't discriminate amongst string literals. */
return 0;
}
/* <discriminator> := _ <number> # when number < 10
:= __ <number> _ # when number >= 10
The discriminator is used only for the second and later occurrences
of the same name within a single function. In this case <number> is
n - 2, if this is the nth occurrence, in lexical order. */
static void
write_discriminator (const int discriminator)
{
/* If discriminator is zero, don't write anything. Otherwise... */
if (discriminator > 0)
{
write_char ('_');
if (discriminator - 1 >= 10)
{
if (abi_warn_or_compat_version_crosses (11))
G.need_abi_warning = 1;
if (abi_version_at_least (11))
write_char ('_');
}
write_unsigned_number (discriminator - 1);
if (abi_version_at_least (11) && discriminator - 1 >= 10)
write_char ('_');
}
}
/* Mangle the name of a function-scope entity. FUNCTION is the
FUNCTION_DECL for the enclosing function, or a PARM_DECL for lambdas in
default argument scope. ENTITY is the decl for the entity itself.
LOCAL_ENTITY is the entity that's directly scoped in FUNCTION_DECL,
either ENTITY itself or an enclosing scope of ENTITY.
<local-name> := Z <function encoding> E <entity name> [<discriminator>]
:= Z <function encoding> E s [<discriminator>]
:= Z <function encoding> Ed [ <parameter number> ] _ <entity name> */
static void
write_local_name (tree function, const tree local_entity,
const tree entity)
{
tree parm = NULL_TREE;
MANGLE_TRACE_TREE ("local-name", entity);
if (TREE_CODE (function) == PARM_DECL)
{
parm = function;
function = DECL_CONTEXT (parm);
}
write_char ('Z');
write_encoding (function);
write_char ('E');
/* For this purpose, parameters are numbered from right-to-left. */
if (parm)
{
int i = list_length (parm);
write_char ('d');
write_compact_number (i - 1);
}
if (TREE_CODE (entity) == STRING_CST)
{
write_char ('s');
write_discriminator (discriminator_for_string_literal (function,
entity));
}
else
{
/* Now the <entity name>. Let write_name know its being called
from <local-name>, so it doesn't try to process the enclosing
function scope again. */
write_name (entity, /*ignore_local_scope=*/1);
if (DECL_DISCRIMINATOR_P (local_entity)
&& !(TREE_CODE (local_entity) == TYPE_DECL
&& TYPE_ANON_P (TREE_TYPE (local_entity))))
write_discriminator (discriminator_for_local_entity (local_entity));
}
}
/* Non-terminals <type> and <CV-qualifier>.
<type> ::= <builtin-type>
::= <function-type>
::= <class-enum-type>
::= <array-type>
::= <pointer-to-member-type>
::= <template-param>
::= <substitution>
::= <CV-qualifier>
::= P <type> # pointer-to
::= R <type> # reference-to
::= C <type> # complex pair (C 2000)
::= G <type> # imaginary (C 2000) [not supported]
::= U <source-name> <type> # vendor extended type qualifier
C++0x extensions
<type> ::= RR <type> # rvalue reference-to
<type> ::= Dt <expression> # decltype of an id-expression or
# class member access
<type> ::= DT <expression> # decltype of an expression
<type> ::= Dn # decltype of nullptr
TYPE is a type node. */
static void
write_type (tree type)
{
/* This gets set to nonzero if TYPE turns out to be a (possibly
CV-qualified) builtin type. */
int is_builtin_type = 0;
MANGLE_TRACE_TREE ("type", type);
if (type == error_mark_node)
return;
type = canonicalize_for_substitution (type);
if (find_substitution (type))
return;
if (write_CV_qualifiers_for_type (type) > 0)
/* If TYPE was CV-qualified, we just wrote the qualifiers; now
mangle the unqualified type. The recursive call is needed here
since both the qualified and unqualified types are substitution
candidates. */
{
tree t = TYPE_MAIN_VARIANT (type);
if (TYPE_ATTRIBUTES (t) && !OVERLOAD_TYPE_P (t))
{
tree attrs = NULL_TREE;
if (tx_safe_fn_type_p (type))
attrs = tree_cons (get_identifier ("transaction_safe"),
NULL_TREE, attrs);
t = cp_build_type_attribute_variant (t, attrs);
}
gcc_assert (t != type);
if (FUNC_OR_METHOD_TYPE_P (t))
{
t = build_ref_qualified_type (t, type_memfn_rqual (type));
if (flag_noexcept_type)
{
tree r = TYPE_RAISES_EXCEPTIONS (type);
t = build_exception_variant (t, r);
}
if (abi_version_at_least (8)
|| type == TYPE_MAIN_VARIANT (type))
/* Avoid adding the unqualified function type as a substitution. */
write_function_type (t);
else
write_type (t);
if (abi_warn_or_compat_version_crosses (8))
G.need_abi_warning = 1;
}
else
write_type (t);
}
else if (TREE_CODE (type) == ARRAY_TYPE)
/* It is important not to use the TYPE_MAIN_VARIANT of TYPE here
so that the cv-qualification of the element type is available
in write_array_type. */
write_array_type (type);
else
{
tree type_orig = type;
/* See through any typedefs. */
type = TYPE_MAIN_VARIANT (type);
if (FUNC_OR_METHOD_TYPE_P (type))
type = cxx_copy_lang_qualifiers (type, type_orig);
/* According to the C++ ABI, some library classes are passed the
same as the scalar type of their single member and use the same
mangling. */
if (TREE_CODE (type) == RECORD_TYPE && TYPE_TRANSPARENT_AGGR (type))
type = TREE_TYPE (first_field (type));
if (TYPE_PTRDATAMEM_P (type))
write_pointer_to_member_type (type);
else
{
/* Handle any target-specific fundamental types. */
const char *target_mangling
= targetm.mangle_type (type_orig);
if (target_mangling)
{
write_string (target_mangling);
/* Add substitutions for types other than fundamental
types. */
if (!VOID_TYPE_P (type)
&& TREE_CODE (type) != INTEGER_TYPE
&& TREE_CODE (type) != REAL_TYPE
&& TREE_CODE (type) != BOOLEAN_TYPE)
add_substitution (type);
return;
}
switch (TREE_CODE (type))
{
case VOID_TYPE:
case BOOLEAN_TYPE:
case INTEGER_TYPE: /* Includes wchar_t. */
case REAL_TYPE:
case FIXED_POINT_TYPE:
{
/* If this is a typedef, TYPE may not be one of
the standard builtin type nodes, but an alias of one. Use
TYPE_MAIN_VARIANT to get to the underlying builtin type. */
write_builtin_type (TYPE_MAIN_VARIANT (type));
++is_builtin_type;
}
break;
case COMPLEX_TYPE:
write_char ('C');
write_type (TREE_TYPE (type));
break;
case FUNCTION_TYPE:
case METHOD_TYPE:
write_function_type (type);
break;
case UNION_TYPE:
case RECORD_TYPE:
case ENUMERAL_TYPE:
/* A pointer-to-member function is represented as a special
RECORD_TYPE, so check for this first. */
if (TYPE_PTRMEMFUNC_P (type))
write_pointer_to_member_type (type);
else
write_class_enum_type (type);
break;
case TYPENAME_TYPE:
case UNBOUND_CLASS_TEMPLATE:
/* We handle TYPENAME_TYPEs and UNBOUND_CLASS_TEMPLATEs like
ordinary nested names. */
write_nested_name (TYPE_STUB_DECL (type));
break;
case POINTER_TYPE:
case REFERENCE_TYPE:
if (TYPE_PTR_P (type))
write_char ('P');
else if (TYPE_REF_IS_RVALUE (type))
write_char ('O');
else
write_char ('R');
{
tree target = TREE_TYPE (type);
/* Attribute const/noreturn are not reflected in mangling.
We strip them here rather than at a lower level because
a typedef or template argument can have function type
with function-cv-quals (that use the same representation),
but you can't have a pointer/reference to such a type. */
if (TREE_CODE (target) == FUNCTION_TYPE)
{
if (abi_warn_or_compat_version_crosses (5)
&& TYPE_QUALS (target) != TYPE_UNQUALIFIED)
G.need_abi_warning = 1;
if (abi_version_at_least (5))
target = build_qualified_type (target, TYPE_UNQUALIFIED);
}
write_type (target);
}
break;
case TEMPLATE_TYPE_PARM:
if (is_auto (type))
{
if (AUTO_IS_DECLTYPE (type))
write_identifier ("Dc");
else
write_identifier ("Da");
++is_builtin_type;
break;
}
/* fall through. */
case TEMPLATE_PARM_INDEX:
write_template_param (type);
break;
case TEMPLATE_TEMPLATE_PARM:
write_template_template_param (type);
break;
case BOUND_TEMPLATE_TEMPLATE_PARM:
write_template_template_param (type);
write_template_args
(TI_ARGS (TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO (type)));
break;
case VECTOR_TYPE:
if (abi_version_at_least (4))
{
write_string ("Dv");
/* Non-constant vector size would be encoded with
_ expression, but we don't support that yet. */
write_unsigned_number (TYPE_VECTOR_SUBPARTS (type)
.to_constant ());
write_char ('_');
}
else
write_string ("U8__vector");
if (abi_warn_or_compat_version_crosses (4))
G.need_abi_warning = 1;
write_type (TREE_TYPE (type));
break;
case TYPE_PACK_EXPANSION:
write_string ("Dp");
write_type (PACK_EXPANSION_PATTERN (type));
break;
case DECLTYPE_TYPE:
/* These shouldn't make it into mangling. */
gcc_assert (!DECLTYPE_FOR_LAMBDA_CAPTURE (type)
&& !DECLTYPE_FOR_LAMBDA_PROXY (type));
/* In ABI <5, we stripped decltype of a plain decl. */
if (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (type))
{
tree expr = DECLTYPE_TYPE_EXPR (type);
tree etype = NULL_TREE;
switch (TREE_CODE (expr))
{
case VAR_DECL:
case PARM_DECL:
case RESULT_DECL:
case FUNCTION_DECL:
case CONST_DECL:
case TEMPLATE_PARM_INDEX:
etype = TREE_TYPE (expr);
break;
default:
break;
}
if (etype && !type_uses_auto (etype))
{
if (abi_warn_or_compat_version_crosses (5))
G.need_abi_warning = 1;
if (!abi_version_at_least (5))
{
write_type (etype);
return;
}
}
}
write_char ('D');
if (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (type))
write_char ('t');
else
write_char ('T');
++cp_unevaluated_operand;
write_expression (DECLTYPE_TYPE_EXPR (type));
--cp_unevaluated_operand;
write_char ('E');
break;
case NULLPTR_TYPE:
write_string ("Dn");
if (abi_version_at_least (7))
++is_builtin_type;
if (abi_warn_or_compat_version_crosses (7))
G.need_abi_warning = 1;
break;
case TYPEOF_TYPE:
sorry ("mangling %<typeof%>, use %<decltype%> instead");
break;
case UNDERLYING_TYPE:
sorry ("mangling %<__underlying_type%>");
break;
case LANG_TYPE:
/* fall through. */
default:
gcc_unreachable ();
}
}
}
/* Types other than builtin types are substitution candidates. */
if (!is_builtin_type)
add_substitution (type);
}
/* qsort callback for sorting a vector of attribute entries. */
static int
attr_strcmp (const void *p1, const void *p2)
{
tree a1 = *(const tree*)p1;
tree a2 = *(const tree*)p2;
const attribute_spec *as1 = lookup_attribute_spec (get_attribute_name (a1));
const attribute_spec *as2 = lookup_attribute_spec (get_attribute_name (a2));
return strcmp (as1->name, as2->name);
}
/* Return true if we should mangle a type attribute with name NAME. */
static bool
mangle_type_attribute_p (tree name)
{
const attribute_spec *as = lookup_attribute_spec (name);
if (!as || !as->affects_type_identity)
return false;
/* Skip internal-only attributes, which are distinguished from others
by having a space. At present, all internal-only attributes that
affect type identity are target-specific and are handled by
targetm.mangle_type instead.
Another reason to do this is that a space isn't a valid identifier
character for most file formats. */
if (strchr (IDENTIFIER_POINTER (name), ' '))
return false;
/* The following attributes are mangled specially. */
if (is_attribute_p ("transaction_safe", name))
return false;
if (is_attribute_p ("abi_tag", name))
return false;
return true;
}
/* Non-terminal <CV-qualifiers> for type nodes. Returns the number of
CV-qualifiers written for TYPE.
<CV-qualifiers> ::= [r] [V] [K] */
static int
write_CV_qualifiers_for_type (const tree type)
{
int num_qualifiers = 0;
/* The order is specified by:
"In cases where multiple order-insensitive qualifiers are
present, they should be ordered 'K' (closest to the base type),
'V', 'r', and 'U' (farthest from the base type) ..." */
/* Mangle attributes that affect type identity as extended qualifiers.
We don't do this with classes and enums because their attributes
are part of their definitions, not something added on. */
if (!OVERLOAD_TYPE_P (type))
{
auto_vec<tree> vec;
for (tree a = TYPE_ATTRIBUTES (type); a; a = TREE_CHAIN (a))
if (mangle_type_attribute_p (get_attribute_name (a)))
vec.safe_push (a);
if (abi_warn_or_compat_version_crosses (10) && !vec.is_empty ())
G.need_abi_warning = true;
if (abi_version_at_least (10))
{
vec.qsort (attr_strcmp);
while (!vec.is_empty())
{
tree a = vec.pop();
const attribute_spec *as
= lookup_attribute_spec (get_attribute_name (a));
write_char ('U');
write_unsigned_number (strlen (as->name));
write_string (as->name);
if (TREE_VALUE (a))
{
write_char ('I');
for (tree args = TREE_VALUE (a); args;
args = TREE_CHAIN (args))
{
tree arg = TREE_VALUE (args);
write_template_arg (arg);
}
write_char ('E');
}
++num_qualifiers;
}
}
}
/* Note that we do not use cp_type_quals below; given "const
int[3]", the "const" is emitted with the "int", not with the
array. */
cp_cv_quals quals = TYPE_QUALS (type);
if (quals & TYPE_QUAL_RESTRICT)
{
write_char ('r');
++num_qualifiers;
}
if (quals & TYPE_QUAL_VOLATILE)
{
write_char ('V');
++num_qualifiers;
}
if (quals & TYPE_QUAL_CONST)
{
write_char ('K');
++num_qualifiers;
}
return num_qualifiers;
}
/* Non-terminal <builtin-type>.
<builtin-type> ::= v # void
::= b # bool
::= w # wchar_t
::= c # char
::= a # signed char
::= h # unsigned char
::= s # short
::= t # unsigned short
::= i # int
::= j # unsigned int
::= l # long
::= m # unsigned long
::= x # long long, __int64
::= y # unsigned long long, __int64
::= n # __int128
::= o # unsigned __int128
::= f # float
::= d # double
::= e # long double, __float80
::= g # __float128 [not supported]
::= u <source-name> # vendor extended type */
static void
write_builtin_type (tree type)
{
if (TYPE_CANONICAL (type))
type = TYPE_CANONICAL (type);
switch (TREE_CODE (type))
{
case VOID_TYPE:
write_char ('v');
break;
case BOOLEAN_TYPE:
write_char ('b');
break;
case INTEGER_TYPE:
/* TYPE may still be wchar_t, char8_t, char16_t, or char32_t, since that
isn't in integer_type_nodes. */
if (type == wchar_type_node)
write_char ('w');
else if (type == char8_type_node)
write_string ("Du");
else if (type == char16_type_node)
write_string ("Ds");
else if (type == char32_type_node)
write_string ("Di");
else
{
size_t itk;
/* Assume TYPE is one of the shared integer type nodes. Find
it in the array of these nodes. */
iagain:
for (itk = 0; itk < itk_none; ++itk)
if (integer_types[itk] != NULL_TREE
&& integer_type_codes[itk] != '\0'
&& type == integer_types[itk])
{
/* Print the corresponding single-letter code. */
write_char (integer_type_codes[itk]);
break;
}
if (itk == itk_none)
{
tree t = c_common_type_for_mode (TYPE_MODE (type),
TYPE_UNSIGNED (type));
if (type != t)
{
type = t;
goto iagain;
}
if (TYPE_PRECISION (type) == 128)
write_char (TYPE_UNSIGNED (type) ? 'o' : 'n');
else
{
/* Allow for cases where TYPE is not one of the shared
integer type nodes and write a "vendor extended builtin
type" with a name the form intN or uintN, respectively.
Situations like this can happen if you have an
__attribute__((__mode__(__SI__))) type and use exotic
switches like '-mint8' on AVR. Of course, this is
undefined by the C++ ABI (and '-mint8' is not even
Standard C conforming), but when using such special
options you're pretty much in nowhere land anyway. */
const char *prefix;
char prec[11]; /* up to ten digits for an unsigned */
prefix = TYPE_UNSIGNED (type) ? "uint" : "int";
sprintf (prec, "%u", (unsigned) TYPE_PRECISION (type));
write_char ('u'); /* "vendor extended builtin type" */
write_unsigned_number (strlen (prefix) + strlen (prec));
write_string (prefix);
write_string (prec);
}
}
}
break;
case REAL_TYPE:
if (type == float_type_node)
write_char ('f');
else if (type == double_type_node)
write_char ('d');
else if (type == long_double_type_node)
write_char ('e');
else if (type == dfloat32_type_node || type == fallback_dfloat32_type)
write_string ("Df");
else if (type == dfloat64_type_node || type == fallback_dfloat64_type)
write_string ("Dd");
else if (type == dfloat128_type_node || type == fallback_dfloat128_type)
write_string ("De");
else
gcc_unreachable ();
break;
case FIXED_POINT_TYPE:
write_string ("DF");
if (GET_MODE_IBIT (TYPE_MODE (type)) > 0)
write_unsigned_number (GET_MODE_IBIT (TYPE_MODE (type)));
if (type == fract_type_node
|| type == sat_fract_type_node
|| type == accum_type_node
|| type == sat_accum_type_node)
write_char ('i');
else if (type == unsigned_fract_type_node
|| type == sat_unsigned_fract_type_node
|| type == unsigned_accum_type_node
|| type == sat_unsigned_accum_type_node)
write_char ('j');
else if (type == short_fract_type_node
|| type == sat_short_fract_type_node
|| type == short_accum_type_node
|| type == sat_short_accum_type_node)
write_char ('s');
else if (type == unsigned_short_fract_type_node
|| type == sat_unsigned_short_fract_type_node
|| type == unsigned_short_accum_type_node
|| type == sat_unsigned_short_accum_type_node)
write_char ('t');
else if (type == long_fract_type_node
|| type == sat_long_fract_type_node
|| type == long_accum_type_node
|| type == sat_long_accum_type_node)
write_char ('l');
else if (type == unsigned_long_fract_type_node
|| type == sat_unsigned_long_fract_type_node
|| type == unsigned_long_accum_type_node
|| type == sat_unsigned_long_accum_type_node)
write_char ('m');
else if (type == long_long_fract_type_node
|| type == sat_long_long_fract_type_node
|| type == long_long_accum_type_node
|| type == sat_long_long_accum_type_node)
write_char ('x');
else if (type == unsigned_long_long_fract_type_node
|| type == sat_unsigned_long_long_fract_type_node
|| type == unsigned_long_long_accum_type_node
|| type == sat_unsigned_long_long_accum_type_node)
write_char ('y');
else
sorry ("mangling unknown fixed point type");
write_unsigned_number (GET_MODE_FBIT (TYPE_MODE (type)));
if (TYPE_SATURATING (type))
write_char ('s');
else
write_char ('n');
break;
default:
gcc_unreachable ();
}
}
/* Non-terminal <function-type>. NODE is a FUNCTION_TYPE or
METHOD_TYPE. The return type is mangled before the parameter
types.
<function-type> ::= F [Y] <bare-function-type> [<ref-qualifier>] E */
static void
write_function_type (const tree type)
{
MANGLE_TRACE_TREE ("function-type", type);
/* For a pointer to member function, the function type may have
cv-qualifiers, indicating the quals for the artificial 'this'
parameter. */
if (TREE_CODE (type) == METHOD_TYPE)
{
/* The first parameter must be a POINTER_TYPE pointing to the
`this' parameter. */
tree this_type = class_of_this_parm (type);
write_CV_qualifiers_for_type (this_type);
}
write_exception_spec (TYPE_RAISES_EXCEPTIONS (type));
if (tx_safe_fn_type_p (type))
write_string ("Dx");
write_char ('F');
/* We don't track whether or not a type is `extern "C"'. Note that
you can have an `extern "C"' function that does not have
`extern "C"' type, and vice versa:
extern "C" typedef void function_t();
function_t f; // f has C++ linkage, but its type is
// `extern "C"'
typedef void function_t();
extern "C" function_t f; // Vice versa.
See [dcl.link]. */
write_bare_function_type (type, /*include_return_type_p=*/1,
/*decl=*/NULL);
if (FUNCTION_REF_QUALIFIED (type))
{
if (FUNCTION_RVALUE_QUALIFIED (type))
write_char ('O');
else
write_char ('R');
}
write_char ('E');
}
/* Non-terminal <bare-function-type>. TYPE is a FUNCTION_TYPE or
METHOD_TYPE. If INCLUDE_RETURN_TYPE is nonzero, the return value
is mangled before the parameter types. If non-NULL, DECL is
FUNCTION_DECL for the function whose type is being emitted. */
static void
write_bare_function_type (const tree type, const int include_return_type_p,
const tree decl)
{
MANGLE_TRACE_TREE ("bare-function-type", type);
/* Mangle the return type, if requested. */
if (include_return_type_p)
write_type (TREE_TYPE (type));
/* Now mangle the types of the arguments. */
++G.parm_depth;
write_method_parms (TYPE_ARG_TYPES (type),
TREE_CODE (type) == METHOD_TYPE,
decl);
--G.parm_depth;
}
/* Write the mangled representation of a method parameter list of
types given in PARM_TYPES. If METHOD_P is nonzero, the function is
considered a non-static method, and the this parameter is omitted.
If non-NULL, DECL is the FUNCTION_DECL for the function whose
parameters are being emitted. */
static void
write_method_parms (tree parm_types, const int method_p, const tree decl)
{
tree first_parm_type;
tree parm_decl = decl ? DECL_ARGUMENTS (decl) : NULL_TREE;
/* Assume this parameter type list is variable-length. If it ends
with a void type, then it's not. */
int varargs_p = 1;
/* If this is a member function, skip the first arg, which is the
this pointer.
"Member functions do not encode the type of their implicit this
parameter."
Similarly, there's no need to mangle artificial parameters, like
the VTT parameters for constructors and destructors. */
if (method_p)
{
parm_types = TREE_CHAIN (parm_types);
parm_decl = parm_decl ? DECL_CHAIN (parm_decl) : NULL_TREE;
while (parm_decl && DECL_ARTIFICIAL (parm_decl))
{
parm_types = TREE_CHAIN (parm_types);
parm_decl = DECL_CHAIN (parm_decl);
}
if (decl && ctor_omit_inherited_parms (decl))
/* Bring back parameters omitted from an inherited ctor. */
parm_types = FUNCTION_FIRST_USER_PARMTYPE (DECL_ORIGIN (decl));
}
for (first_parm_type = parm_types;
parm_types;
parm_types = TREE_CHAIN (parm_types))
{
tree parm = TREE_VALUE (parm_types);
if (parm == void_type_node)
{
/* "Empty parameter lists, whether declared as () or
conventionally as (void), are encoded with a void parameter
(v)." */
if (parm_types == first_parm_type)
write_type (parm);
/* If the parm list is terminated with a void type, it's
fixed-length. */
varargs_p = 0;
/* A void type better be the last one. */
gcc_assert (TREE_CHAIN (parm_types) == NULL);
}
else
write_type (parm);
}
if (varargs_p)
/* <builtin-type> ::= z # ellipsis */
write_char ('z');
}
/* <class-enum-type> ::= <name> */
static void
write_class_enum_type (const tree type)
{
write_name (TYPE_NAME (type), /*ignore_local_scope=*/0);
}
/* Non-terminal <template-args>. ARGS is a TREE_VEC of template
arguments.
<template-args> ::= I <template-arg>* E */
static void
write_template_args (tree args)
{
int i;
int length = 0;
MANGLE_TRACE_TREE ("template-args", args);
write_char ('I');
if (args)
length = TREE_VEC_LENGTH (args);
if (args && length && TREE_CODE (TREE_VEC_ELT (args, 0)) == TREE_VEC)
{
/* We have nested template args. We want the innermost template
argument list. */
args = TREE_VEC_ELT (args, length - 1);
length = TREE_VEC_LENGTH (args);
}
for (i = 0; i < length; ++i)
write_template_arg (TREE_VEC_ELT (args, i));
write_char ('E');
}
/* Write out the
<unqualified-name>
<unqualified-name> <template-args>
part of SCOPE_REF or COMPONENT_REF mangling. */
static void
write_member_name (tree member)
{
if (identifier_p (member))
{
if (IDENTIFIER_ANY_OP_P (member))
{
if (abi_version_at_least (11))
write_string ("on");
if (abi_warn_or_compat_version_crosses (11))
G.need_abi_warning = 1;
}
write_unqualified_id (member);
}
else if (DECL_P (member))
{
gcc_assert (!DECL_OVERLOADED_OPERATOR_P (member));
write_unqualified_name (member);
}
else if (TREE_CODE (member) == TEMPLATE_ID_EXPR)
{
tree name = TREE_OPERAND (member, 0);
name = OVL_FIRST (name);
write_member_name (name);
write_template_args (TREE_OPERAND (member, 1));
}
else
write_expression (member);
}
/* EXPR is a base COMPONENT_REF; write the minimized base conversion path for
converting to BASE, or just the conversion of EXPR if BASE is null.
"Given a fully explicit base path P := C_n -> ... -> C_0, the minimized base
path Min(P) is defined as follows: let C_i be the last element for which the
conversion to C_0 is unambiguous; if that element is C_n, the minimized path
is C_n -> C_0; otherwise, the minimized path is Min(C_n -> ... -> C_i) ->
C_0."
We mangle the conversion to C_i if it's different from C_n. */
static bool
write_base_ref (tree expr, tree base = NULL_TREE)
{
if (TREE_CODE (expr) != COMPONENT_REF)
return false;
tree field = TREE_OPERAND (expr, 1);
if (TREE_CODE (field) != FIELD_DECL || !DECL_FIELD_IS_BASE (field))
return false;
tree object = TREE_OPERAND (expr, 0);
tree binfo = NULL_TREE;
if (base)
{
tree cur = TREE_TYPE (object);
binfo = lookup_base (cur, base, ba_unique, NULL, tf_none);
}
else
/* We're at the end of the base conversion chain, so it can't be
ambiguous. */
base = TREE_TYPE (field);
if (binfo == error_mark_node)
{
/* cur->base is ambiguous, so make the conversion to
last explicit, expressed as a cast (last&)object. */
tree last = TREE_TYPE (expr);
write_string (OVL_OP_INFO (false, CAST_EXPR)->mangled_name);
write_type (build_reference_type (last));
write_expression (object);
}
else if (write_base_ref (object, base))
/* cur->base is unambiguous, but we had another base conversion
underneath and wrote it out. */;
else
/* No more base conversions, just write out the object. */
write_expression (object);
return true;
}
/* The number of elements spanned by a RANGE_EXPR. */
unsigned HOST_WIDE_INT
range_expr_nelts (tree expr)
{
tree lo = TREE_OPERAND (expr, 0);
tree hi = TREE_OPERAND (expr, 1);
return tree_to_uhwi (hi) - tree_to_uhwi (lo) + 1;
}
/* <expression> ::= <unary operator-name> <expression>
::= <binary operator-name> <expression> <expression>
::= <expr-primary>
<expr-primary> ::= <template-param>
::= L <type> <value number> E # literal
::= L <mangled-name> E # external name
::= st <type> # sizeof
::= sr <type> <unqualified-name> # d