[Bug middle-end/53884] New: [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[Bug middle-end/53884] New: [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[zsojka at seznam dot cz]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

             Bug #: 53884
           Summary: [4.7/4.8 Regression] ICE: in
                    function_and_variable_visibility, at ipa.c:818 with
                    -flto -fno-weak
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 27757
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27757
reduced testcase

Compiler output:
$ gcc -flto -fno-weak testcase.C 
testcase.C:9:12: internal compiler error: in function_and_variable_visibility,
at ipa.c:818
 S < foo > s;
            ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r189247 - crash
4.7 r188682 - crash
4.6 r188682 - OK
4.5 r188682 - OK

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-07
                 CC|                            |hubicka at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-07-07 13:47:27 UTC ---
It is caused by revision 174952:

http://gcc.gnu.org/ml/gcc-cvs/2011-06/msg00441.html

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.2

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.2                       |4.7.3

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-20 10:17:06 UTC ---
GCC 4.7.2 has been released.

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
   Last reconfirmed|2012-07-07 00:00:00         |2012-12-03 0:00

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-03 15:37:00 UTC ---
Reconfirmed.

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

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> 2013-02-21 14:09:42 UTC ---
ISTM that we ICE here because we arrive at the assert at ipa.c:818 with:
 <function_decl 0x7f7dda50f600 _ZN1SIL_Z3foovEEC1Ev
    type <method_type 0x7f7dda50e690
        type <void_type 0x7f7dda3a0c78 void type_6 VOID
            align 8 symtab 0 alias set -1 canonical type 0x7f7dda3a0c78
            pointer_to_this <pointer_type 0x7f7dda3a0d20>>
        QI
        size <integer_cst 0x7f7dda393f80 constant 8>
        unit size <integer_cst 0x7f7dda393fa0 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7f7dda50e690 method
basetype <record_type 0x7f7dda4fbdc8 S>
        arg-types <tree_list 0x7f7dda50b1b8 value <pointer_type 0x7f7dda50e5e8>
            chain <tree_list 0x7f7dda39f988 value <void_type 0x7f7dda3a0c78
void>>>
        pointer_to_this <pointer_type 0x7f7dda50ec78>>
    addressable used ignored weak decl_5 QI file zz.C line 3 col 3 align 8
initial <error_mark 0x7f7dda39ce40>
    arguments <parm_decl 0x7f7dda509f80 this
        type <pointer_type 0x7f7dda50e888 type <record_type 0x7f7dda4fbdc8 S>
            readonly unsigned DI
            size <integer_cst 0x7f7dda393dc0 constant 64>
            unit size <integer_cst 0x7f7dda393de0 constant 8>
            align 64 symtab 0 alias set -1 canonical type 0x7f7dda50e888>
        readonly used unsigned DI file zz.C line 3 col 6 size <integer_cst
0x7f7dda393dc0 64> unit size <integer_cst 0x7f7dda393de0 8>
        align 64 context <function_decl 0x7f7dda4fae00 __comp_ctor >
abstract_origin <parm_decl 0x7f7dda509180 this> arg-type <pointer_type
0x7f7dda50e888>>
    full-name "void _ZN1SIL_Z3foovEEC1Ev()"

I think two things here are interesting: that decl is WEAK, even though we're
using -fno-weak, and that DECL_INITIAL of that decl is error_mark_node.  Not
sure what to do here: with the assert guarded by
  if (DECL_INITIAL (node->symbol.decl) != error_mark_node)
the ICE's gone and the final assembly looks ok.  
Is LTO misbehaving with -fno-weak, i.e., can it even produce a weak
FUNCTION_DECL like above?

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.3                       |4.8.0

[Bug middle-end/53884] [4.7/4.8 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[hubicka at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-02-21 17:57:50 UTC ---
mine.

[Bug middle-end/53884] [4.7/4.8/4.9 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.0                       |4.8.1

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-03-22 14:43:50 UTC ---
GCC 4.8.0 is being released, adjusting target milestone.

[Bug middle-end/53884] [4.7/4.8/4.9 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.1                       |4.8.2

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.1 has been released.

[Bug middle-end/53884] [4.7/4.8/4.9 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.2                       |4.8.3

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.2 has been released.

[Bug middle-end/53884] [4.7/4.8/4.9 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[law at redhat dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |law at redhat dot com
         Resolution|---                         |WORKSFORME

--- Comment #9 from Jeffrey A. Law <law at redhat dot com> ---
No longer failing on the trunk.

[Bug middle-end/53884] [4.7/4.8/4.9 Regression] ICE: in function_and_variable_visibility, at ipa.c:818 with -flto -fno-weak

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53884

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This got fixed (or made latent?) with r202298.