d: Fix ICE in add_symbol_to_partition_1, at lto/lto-partition.c:215
authorIain Buclaw <ibuclaw@gdcproject.org>
Sat, 21 Mar 2020 10:38:59 +0000 (11:38 +0100)
committerIain Buclaw <ibuclaw@gdcproject.org>
Sat, 21 Mar 2020 15:52:21 +0000 (16:52 +0100)
commit98eb7b2ed249537d12004f2c58583140ac25d666
tree2b48c2306f01fa03aaf4ccf902606683744666e1
parentb599bf9d6d1e180d350b71e51e08a66a1bb1546a
d: Fix ICE in add_symbol_to_partition_1, at lto/lto-partition.c:215

This patch addresses two problems with TypeInfo initializer generation.

1. D array fields pointing to compiler generated data are referencing
public symbols with no unique prefix, which can lead to duplicate
definition errors in some hard to reduce cases.  To avoid name clashes,
all symbols that are generated for TypeInfo initializers now use the
assembler name of the TypeInfo decl as a prefix.

2. An ICE would occur during LTO pass because these same decls are
considered to be part of the same comdat group as the TypeInfo decl that
it's referred by, despite itself being neither marked public nor comdat.
This resulted in decls being added to the LTRANS partition out of order,
triggering an assert when add_symbol_to_partition_1 attempted to add
them again.  To remedy, TREE_PUBLIC and DECL_COMDAT are now set on all
generated symbols.

gcc/d/ChangeLog:

2020-03-21  Iain Buclaw  <ibuclaw@gdcproject.org>

PR d/94290
* typeinfo.cc (class TypeInfoVisitor): Replace type_ field with decl_.
(TypeInfoVisitor::TypeInfoVisitor): Set decl_.
(TypeInfoVisitor::result): Update.
(TypeInfoVisitor::internal_reference): New function.
(TypeInfoVisitor::layout_string): Use internal_reference.
(TypeInfoVisitor::visit (TypeInfoTupleDeclaration *)): Likewise.
(layout_typeinfo): Construct TypeInfoVisitor with typeinfo decl.
(layout_classinfo): Likewise.
gcc/d/ChangeLog
gcc/d/typeinfo.cc