[Bug c++/62164] New: 5.0: ICE: error: Both section and comdat group is set

[Bug c++/62164] New: 5.0: ICE: error: Both section and comdat group is set

[adam at os dot inf.tu-dresden.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

            Bug ID: 62164
           Summary: 5.0: ICE: error: Both section and comdat group is set
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: adam at os dot inf.tu-dresden.de

The following code causes an ICE:

class T { static void t(); };

class U
{
public:
  static void u() __attribute__ ((__section__ (".initcall.text")));
};

inline void U::u() {}

void T::t() { U::u(); }

$ g++ --version
g++ (GCC) 5.0.0 20140817 (experimental)
$ g++ -c t.c
t.c:11:23: error: Both section and comdat group is set
 void T::t() { U::u(); }
                       ^
_ZN1U1uEv/0 (static void U::u()) @0x7f3c83ebe000
  Type: function definition analyzed
  Visibility: public weak comdat comdat_group:_ZN1U1uEv one_only
section:.initcall.text
  References: 
  Referring: 
  First run: 0
  Function flags: body
  Called by: _ZN1T1tEv/2 (1.00 per call) 
  Calls: 
t.c:11:23: internal compiler error: verify_cgraph_node failed
0x858967 cgraph_node::verify_node()
        ../../gcc/gcc/cgraph.c:2978
0x84f757 symtab_node::verify()
        ../../gcc/gcc/symtab.c:1200
0x850eb7 symtab_node::verify_symtab_nodes()
        ../../gcc/gcc/symtab.c:1220
0x85e73a compile()
        ../../gcc/gcc/cgraphunit.c:2157
0x860874 finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2331
0x6500b5 cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4649
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

The problem seems to be that U::u() is tagged inline. If it is not inline,
there is no ICE.
No ICE for <= 4.9.

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Honza?

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-09-27
                 CC|                            |jason at redhat dot com
     Ever confirmed|0                           |1

--- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
The sections for COMDAT functions are used to drive code unification.  I
wonder, do we want to support something like this (and expect that user knows
what he is doing and he won't, for example, drop multiple COMDATs into one
section) or just reject the attribute?

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This seems to be fixed now.

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
I'm adding the testcase and closing the bug.

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

--- Comment #6 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Aug 13 10:18:47 2015
New Revision: 226855

URL: https://gcc.gnu.org/viewcvs?rev=226855&root=gcc&view=rev
Log:
2015-08-13  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/62164
        * g++.dg/torture/pr62164.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr62164.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/62164] 5.0: ICE: error: Both section and comdat group is set

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62164

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|adam at os dot inf.tu-dresden.de   |
         Resolution|---                         |FIXED
   Target Milestone|---                         |5.0

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Done.