PR c++/88049 - ICE with undefined destructor and anon namespace.

A type in an anonymous namespace can never be merged with one from
another translation unit, so a member of such a type is always its own
prevailing decl.

	* lto-symtab.c (lto_symtab_prevailing_virtual_decl): Return early
	for a type in an anonymous namespace.

From-SVN: r269283

diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index 6b183df3b0f2f3c49b3185a102ee95c9428d024e..f8a1bbec76396361e6d043594ecde9843b534a7a 100644 (file)
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,9 @@
+2019-02-28  Jason Merrill  <jason@redhat.com>
+
+       PR c++/88049 - ICE with undefined destructor and anon namespace.
+       * lto-symtab.c (lto_symtab_prevailing_virtual_decl): Return early
+       for a type in an anonymous namespace.
+
 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 
        PR other/16615

diff --git a/gcc/lto/lto-symtab.c b/gcc/lto/lto-symtab.c
index 22da4c78b8cdfbd4c50ea554d679aa1d2b580947..343915c3cec794b52229012675dade72c10a3e64 100644 (file)
--- a/gcc/lto/lto-symtab.c
+++ b/gcc/lto/lto-symtab.c
@@ -1085,8 +1085,12 @@ lto_symtab_prevailing_virtual_decl (tree decl)
 {
   if (DECL_ABSTRACT_P (decl))
     return decl;
-  gcc_checking_assert (!type_in_anonymous_namespace_p (DECL_CONTEXT (decl))
-                      && DECL_ASSEMBLER_NAME_SET_P (decl));
+
+  if (type_in_anonymous_namespace_p (DECL_CONTEXT (decl)))
+    /* There can't be any other declarations.  */
+    return decl;
+
+  gcc_checking_assert (DECL_ASSEMBLER_NAME_SET_P (decl));
 
   symtab_node *n = symtab_node::get_for_asmname
                     (DECL_ASSEMBLER_NAME (decl));

diff --git a/gcc/testsuite/g++.dg/lto/pr88049_0.C b/gcc/testsuite/g++.dg/lto/pr88049_0.C
new file mode 100644 (file)
index 0000000..7ac3618
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/pr88049_0.C
@@ -0,0 +1,16 @@
+// PR c++/88049
+// { dg-lto-do link }
+// { dg-lto-options {{ -flto -O2 -w }} }
+// { dg-extra-ld-options -r }
+
+template <typename> class a;
+class b {};
+template <typename e> a<e> d(char);
+template <typename> class a : public b {
+public:
+  virtual ~a();
+};
+namespace {
+  class f;
+  b c = d<f>(int());
+} // namespace