[Bug lto/57334] New: ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[Bug lto/57334] New: ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[dimhen at gmail dot com]

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

            Bug ID: 57334
           Summary: ICE: in input_gimple_stmt, at gimple-streamer-in.c:287
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com

r199075 FAIL

$ cat main.ii 
extern "C" void soap_call_lcdpanel__AskLCDPanelYesNo ();
main ()
{
    soap_call_lcdpanel__AskLCDPanelYesNo ();
}

$ cat a.i
soap_serializeheader ()
{
}

soap_getindependent ()
{
    return;
}

$ cat b.i
static
soap_getindependent ()
{
}

soap_call_lcdpanel__AskLCDPanelYesNo ()
{
    soap_serializeheader ();
}

$ g++ -fpreprocessed -flto -c main.ii
$ gcc -fpreprocessed -c -flto a.i
$ gcc -fpreprocessed -c -flto b.i
$ ar cru libx.a a.o b.o
$ g++ -Ofast -flto -flto-partition=none -o tst main.o libx.a 
In function ‘soap_getindependent’:
lto1: internal compiler error: in input_gimple_stmt, at
gimple-streamer-in.c:287
0x1062235 input_gimple_stmt
    /home/dimhen/src/gcc_current/gcc/gimple-streamer-in.c:286
0x1062235 input_bb(lto_input_block*, LTO_tags, data_in*, function*, int)
    /home/dimhen/src/gcc_current/gcc/gimple-streamer-in.c:345
0x864483 input_function
    /home/dimhen/src/gcc_current/gcc/lto-streamer-in.c:887
0x864483 lto_read_body
    /home/dimhen/src/gcc_current/gcc/lto-streamer-in.c:1011
0x864483 lto_input_function_body(lto_file_decl_data*, tree_node*, char const*)
    /home/dimhen/src/gcc_current/gcc/lto-streamer-in.c:1055
0x587052 lto_materialize_function
    /home/dimhen/src/gcc_current/gcc/lto/lto.c:226
0x587052 materialize_cgraph
    /home/dimhen/src/gcc_current/gcc/lto/lto.c:3084
0x58e708 lto_main()
    /home/dimhen/src/gcc_current/gcc/lto/lto.c:3348
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.
lto-wrapper: g++ returned 1 exit status
/usr/bin/ld: fatal error: lto-wrapper failed
collect2: error: ld returned 1 exit status
>From gcc-bugs-return-422606-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon May 20 04:49:32 2013
Return-Path: <gcc-bugs-return-422606-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 6992 invoked by alias); 20 May 2013 04:49:32 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 6929 invoked by uid 48); 20 May 2013 04:49:28 -0000
From: "kcc at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/57316] [4.8 regresion] build failure in libsanitizer
Date: Mon, 20 May 2013 04:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 4.8.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kcc at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57316-4-gS9vY8PacR@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57316-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57316-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-05/txt/msg01279.txt.bz2
Content-length: 585

http://gcc.gnu.org/bugzilla/show_bug.cgi?idW316

--- Comment #1 from Kostya Serebryany <kcc at gcc dot gnu.org> ---
Feel free to patch this in 4.8 branch directly.
As for the trunk, please send the patches to the upstream (LLVM) repo first.

Sorry for the breakages, but we are unable to monitor build failures on old
kernels unless someone sets up a regular testing (build bot) with such kernels
for upstream code.

Also, please note, that even if the libsanitizer code builds with older
kernels,
we can't guarantee that it actually works, because this is not what we test
with.

[Bug lto/57334] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I've seen this ICE before I think.

  else if (code == GIMPLE_LABEL)
    gcc_assert (emit_label_in_global_context_p (gimple_label_label (stmt))
                || DECL_CONTEXT (gimple_label_label (stmt)) == fn->decl);

[Bug lto/57334] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[dimhen at gmail dot com]

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

--- Comment #2 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
gcc-4.8:
PASS:
196672 (pre-4.8.0)
199240 gcc (GCC) 4.8.1 20130523 (prerelease)

gcc-4.9:
PASS 198354
FAIL 199000, 199239

simlified testcase
$ cat a.i 
void foo ()
{
}

void bar ()
{
   return; // trigger error
}

$ cat b.i
static
void bar ()
{
}

$ cat main.ii 
extern "C" void baz ();
main ()
{
    baz ();
    return 0;
}

extern void foo();
void baz ()
{
    foo ();
}

[Bug lto/57334] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[dimhen at gmail dot com]

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

--- Comment #3 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
(In reply to Richard Biener from comment #1)
> I've seen this ICE before I think.
> 
>   else if (code == GIMPLE_LABEL)
>     gcc_assert (emit_label_in_global_context_p (gimple_label_label (stmt))
>                 || DECL_CONTEXT (gimple_label_label (stmt)) == fn->decl);

Sorry, i cant find nothing appropriate in bugzilla to mark this one as
DUPLICATE

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[dimhen at gmail dot com]

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

Dmitry G. Dyachenko <dimhen at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE: in input_gimple_stmt,  |[4.9 regression] ICE: in
                   |at gimple-streamer-in.c:287 |input_gimple_stmt, at
                   |                            |gimple-streamer-in.c:287

--- Comment #4 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
r198736 PASS
r198741 FAIL
r199835 FAIL

r198741 | hubicka | 2013-05-09 19:37:12 +0400 (Thu, 09 May 2013) | 18 lines
Changed paths:
   M /trunk/gcc/ChangeLog
   M /trunk/gcc/lto/ChangeLog
   M /trunk/gcc/lto/lto-partition.c
   M /trunk/gcc/lto/lto-partition.h
   M /trunk/gcc/lto/lto.c
   M /trunk/gcc/symtab.c


        Jan Hubicka  <jh@suse.cz>
        Richard Biener  <rguenther@suse.de>

        PR lto/54095
        * symtab.c (symtab_make_decl_local): Do not add private names.

        * lto.c (lto_register_var_decl_in_symtab): Don't do renaming.
        (lto_register_var_decl_in_symtab): Likewise.
        (lto_main): Promote statics.
        * lto-partition.c (privatize_symbol_name): New function.
        (promote_symbol): Use it.
        (may_need_named_section_p): New predicate.
        (rename_statics): New functions.
        (lto_promote_cross_file_statics): Simplify; do renaming.
        (lto_promote_statics_nonwpa): New function.
        * lto-partition.h (lto_promote_statics_nonwpa): New function.

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[hubicka at gcc dot gnu.org]

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

--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
(gdb) p debug_tree (fn->decl)
 <function_decl 0x7ffff7045f00 soap_getindependent
    type <function_type 0x7ffff7042e70
        type <integer_type 0x7ffff6f155e8 int public SI
            size <integer_cst 0x7ffff6f190a0 constant 32>
            unit size <integer_cst 0x7ffff6f190c0 constant 4>
            align 32 symtab 0 alias set -1 canonical type 0x7ffff6f155e8
precision 32 min <integer_cst 0x7ffff6f19040 -2147483648> max <integer_cst
0x7ffff6f19060 2147483647>
            pointer_to_this <pointer_type 0x7ffff6f1d2a0>>
        QI
        size <integer_cst 0x7ffff6f04ee0 constant 8>
        unit size <integer_cst 0x7ffff6f04f00 constant 1>
        align 8 symtab 0 alias set 0 canonical type 0x7ffff7042dc8>
    public static QI file a.i line 5 col 1 align 8 context
<translation_unit_decl 0x7ffff7049000 D.2387> initial <block 0x7ffff704d000>
    result <result_decl 0x7ffff7047438 D.2391 type <integer_type 0x7ffff6f155e8
int>
        ignored SI file a.i line 5 col 1 size <integer_cst 0x7ffff6f190a0 32>
unit size <integer_cst 0x7ffff6f190c0 4>
        align 32 context <function_decl 0x7ffff7045b00 soap_getindependent>>
    struct-function 0x7ffff6f10140>
$1 = void
(gdb) p debug_tree (gimple_label_label (stmt))
 <label_decl 0x7ffff704e000 D.2393
    type <void_type 0x7ffff6f15bd0 void VOID
        align 8 symtab 0 alias set -1 canonical type 0x7ffff6f15bd0
        pointer_to_this <pointer_type 0x7ffff6f15c78>>
    ignored VOID file a.i line 8 col 1
    align 1 context <function_decl 0x7ffff7045b00 soap_getindependent>>
$2 = void
(gdb) p debug_tree ((tree)0x7ffff7045b00)
 <function_decl 0x7ffff7045b00 soap_getindependent
    type <function_type 0x7ffff7042e70
        type <integer_type 0x7ffff6f155e8 int public SI
            size <integer_cst 0x7ffff6f190a0 constant 32>
            unit size <integer_cst 0x7ffff6f190c0 constant 4>
            align 32 symtab 0 alias set -1 canonical type 0x7ffff6f155e8
precision 32 min <integer_cst 0x7ffff6f19040 -2147483648> max <integer_cst
0x7ffff6f19060 2147483647>
            pointer_to_this <pointer_type 0x7ffff6f1d2a0>>
        QI
        size <integer_cst 0x7ffff6f04ee0 constant 8>
        unit size <integer_cst 0x7ffff6f04f00 constant 1>
        align 8 symtab 0 alias set 0 canonical type 0x7ffff7042dc8>
    static QI file b.i line 2 col 1 align 8 context <translation_unit_decl
0x7ffff6f20f18 D.2381>
    result <result_decl 0x7ffff7047168 D.2382 type <integer_type 0x7ffff6f155e8
int>
        ignored SI file b.i line 2 col 1 size <integer_cst 0x7ffff6f190a0 32>
unit size <integer_cst 0x7ffff6f190c0 4>
        align 32 context <function_decl 0x7ffff7045b00 soap_getindependent>>>
$3 = void
(gdb) p debug_symtab_node (symtab_get_node ((tree)0x7ffff7045b00))
soap_getindependent/2 (soap_getindependent) @0x7ffff6f0d980
  Type: function definition analyzed
  Visibility: force_output prevailing_def_ironly
  next sharing asm name: 6
  References: 
  Referring: 
  Read from file: libx.a
  Availability: available
  Function flags:
  Called by: 
  Calls: 
$6 = void
(gdb) p debug_symtab_node (symtab_get_node (fn->decl))
soap_getindependent/6 (soap_getindependent) @0x7ffff6f0de40
  Type: function definition analyzed
  Visibility: force_output externally_visible prevailing_def_ironly public
  previous sharing asm name: 2
  References: 
  Referring: 
  Read from file: libx.a
  Availability: available
  Function flags: body
  Called by: 
  Calls: 

so the problem seems to be that while reading body of the static function
soap_getindependent we manage to mess the context with global function in the
other file. I am not terribly familiar on how LTO sections are mapped...

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[hubicka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-06-17
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
I am testing
Index: lto-symtab.c
===================================================================
--- lto-symtab.c        (revision 200151)
+++ lto-symtab.c        (working copy)
@@ -523,7 +523,8 @@ lto_symtab_merge_decls (void)

   FOR_EACH_SYMBOL (node)
     if (lto_symtab_symbol_p (node)
-       && node->symbol.next_sharing_asm_name)
+       && (node->symbol.next_sharing_asm_name
+           || node->symbol.previous_sharing_asm_name))
       {
         symtab_node n;

@@ -639,6 +640,7 @@ lto_symtab_prevailing_decl (tree decl)
   ret = symtab_node_for_asm (DECL_ASSEMBLER_NAME (decl));
   if (!ret)
     return decl;
+  gcc_checking_assert (TREE_PUBLIC (ret->symbol.decl) && !DECL_EXTERNAL
(ret->symbol.decl));

   return ret->symbol.decl;
 }

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[marxin.liska at gmail dot com]

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

Martin Liška <marxin.liska at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin.liska at gmail dot com

--- Comment #7 from Martin Liška <marxin.liska at gmail dot com> ---
gcc --version:
gcc (GCC) 4.9.0 20130617 (experimental)

lto1: internal compiler error: in lto_symtab_prevailing_decl, at
lto-symtab.c:644
0x783c63 lto_symtab_prevailing_decl(tree_node*)
    ../../gcc/lto-symtab.c:644
0x50afe4 lto_fixup_prevailing_decls
    ../../gcc/lto/lto.c:3220
0x50afe4 lto_fixup_decls
    ../../gcc/lto/lto.c:3284
0x50afe4 read_cgraph_and_symbols
    ../../gcc/lto/lto.c:3490
0x50afe4 lto_main()
    ../../gcc/lto/lto.c:3834

Dump (--save-temps --dump-ipa-all):
https://docs.google.com/file/d/0B0pisUJ80pO1X2w0eXgteHlvNDQ/edit?usp=sharing
>From gcc-bugs-return-424557-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 17 22:36:03 2013
Return-Path: <gcc-bugs-return-424557-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 27302 invoked by alias); 17 Jun 2013 22:36:03 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 27262 invoked by uid 55); 17 Jun 2013 22:36:00 -0000
From: "sgk at troutmask dot apl.washington.edu" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/57628] spurious error: division by zero in if statement
Date: Mon, 17 Jun 2013 22:36:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 4.7.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: sgk at troutmask dot apl.washington.edu
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57628-4-Jx6KlG0E7b@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57628-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57628-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg00936.txt.bz2
Content-length: 1246

http://gcc.gnu.org/bugzilla/show_bug.cgi?idW628

--- Comment #17 from Steve Kargl <sgk at troutmask dot apl.washington.edu> ---
On Mon, Jun 17, 2013 at 10:07:32PM +0000, furue at hawaii dot edu wrote:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?idW628
>
> --- Comment #16 from Ryo Furue <furue at hawaii dot edu> ---
> (In reply to Steve Kargl from comment #12)
> > On Sun, Jun 16, 2013 at 11:33:49PM +0000, furue at hawaii dot edu wrote:
> > >
> > > Is this an inconsistency in the implementation of -no-range-check ?
> >
> > No.
>
> Then, what's the counterpart of -fno-range-check that takes care of such cases
> as sqrt?  To repeat the code:
>
>   real, parameter:: a = -1.0
>   if (a > 0) write(*,*) sqrt(a)
>
> With such a switch turned on, the compiler can replace sqrt(-1.0) with NaN and
> let the code pass.
>

Why not replace it with 0 instead of NaN?  Afterall, the real part
of the imaginary number i (or j if you're an electrical engineer)
is 0?

  13.7.159 SQRT(X)

  Argument.  X shall be of type real or complex.  Unless X is complex,
  its value shall be greater than or equal to zero.

Those "shall be" phrases are fair strong statements.

Yeah, I get it.  You don't like the choice that gfortran
made 10+ years ago.

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[marxin.liska at gmail dot com]

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

--- Comment #8 from Martin Liška <marxin.liska at gmail dot com> ---
Sorry, comment was not added to related linker kernel bug 57483.
>From gcc-bugs-return-424560-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 17 22:38:11 2013
Return-Path: <gcc-bugs-return-424560-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 30871 invoked by alias); 17 Jun 2013 22:38:11 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 30843 invoked by uid 48); 17 Jun 2013 22:38:08 -0000
From: "marxin.liska at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/57483] Linux kernel (lto-3.9 branch) compilation fails with enabled LTO
Date: Mon, 17 Jun 2013 22:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin.liska at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57483-4-yZAKrv7G0q@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57483-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57483-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg00939.txt.bz2
Content-length: 692

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

--- Comment #1 from Martin Liška <marxin.liska at gmail dot com> ---
gcc --version:
gcc (GCC) 4.9.0 20130617 (experimental)

lto1: internal compiler error: in lto_symtab_prevailing_decl, at
lto-symtab.c:644
0x783c63 lto_symtab_prevailing_decl(tree_node*)
    ../../gcc/lto-symtab.c:644
0x50afe4 lto_fixup_prevailing_decls
    ../../gcc/lto/lto.c:3220
0x50afe4 lto_fixup_decls
    ../../gcc/lto/lto.c:3284
0x50afe4 read_cgraph_and_symbols
    ../../gcc/lto/lto.c:3490
0x50afe4 lto_main()
    ../../gcc/lto/lto.c:3834

Dump (--save-temps --dump-ipa-all):
https://docs.google.com/file/d/0B0pisUJ80pO1X2w0eXgteHlvNDQ/edit?usp=sharing
>From gcc-bugs-return-424561-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 17 23:10:30 2013
Return-Path: <gcc-bugs-return-424561-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20654 invoked by alias); 17 Jun 2013 23:10:30 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 20608 invoked by uid 48); 17 Jun 2013 23:10:25 -0000
From: "marxin.liska at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287
Date: Mon, 17 Jun 2013 23:10:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: lto
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin.liska at gmail dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: hubicka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57334-4-Kxxd5GybNh@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57334-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57334-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg00940.txt.bz2
Content-length: 788

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

--- Comment #9 from Martin Liška <marxin.liska at gmail dot com> ---
Simple error case:

/tmp/x.c
char dnet_ntoa();

int main() {
dnet_ntoa()
; return 0; }

gcc -flto /tmp/x.c

Result:
lto1: internal compiler error: in lto_symtab_prevailing_decl, at
lto-symtab.c:644
0x783c63 lto_symtab_prevailing_decl(tree_node*)
    ../../gcc/lto-symtab.c:644
0x500719 lto_fixup_state
    ../../gcc/lto/lto.c:3257
0x50ab48 lto_fixup_decls
    ../../gcc/lto/lto.c:3290
0x50ab48 read_cgraph_and_symbols
    ../../gcc/lto/lto.c:3490
0x50ab48 lto_main()
    ../../gcc/lto/lto.c:3834

Should return for: gcc /tmp/x.c
/tmp/ccZU5rdy.o: In function `main':
x.c:(.text+0xa): undefined reference to `dnet_ntoa'
collect2: error: ld returned 1 exit status
>From gcc-bugs-return-424562-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jun 18 01:22:31 2013
Return-Path: <gcc-bugs-return-424562-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4270 invoked by alias); 18 Jun 2013 01:22:31 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 4200 invoked by uid 48); 18 Jun 2013 01:22:20 -0000
From: "basv@odd-e.com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/57632] Operator new overloads with stdc++11 enabled looses exception specifier (MacOsX)
Date: Tue, 18 Jun 2013 01:22:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: basv@odd-e.com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57632-4-zRa1DDJNLk@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57632-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57632-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg00941.txt.bz2
Content-length: 750

http://gcc.gnu.org/bugzilla/show_bug.cgi?idW632

--- Comment #3 from Bas Vodde <basv@odd-e.com> ---

Thanks for the comments. I understand the problems in implementing a compiler,
when this is also unclear in the language itself.

Whatever is decided related to this, it would probably be a good idea to give a
better error message. Right now, the error message is telling the user that the
operator new *with* an exception specifier doesn't have one and that they are
different, even though the two lines are exactly the same. It is a bit
confusing.

It would be good though to solve this in a way that both works with C++11 and
C++03 as it came up when compiling a piece of code that is used by multiple
compilers and by both language versions.

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #6)
> I am testing
> Index: lto-symtab.c
> ===================================================================
> --- lto-symtab.c        (revision 200151)
> +++ lto-symtab.c        (working copy)
> @@ -523,7 +523,8 @@ lto_symtab_merge_decls (void)
>  
>    FOR_EACH_SYMBOL (node)
>      if (lto_symtab_symbol_p (node)
> -       && node->symbol.next_sharing_asm_name)
> +       && (node->symbol.next_sharing_asm_name
> +           || node->symbol.previous_sharing_asm_name))
>        {
>          symtab_node n;
>  
> @@ -639,6 +640,7 @@ lto_symtab_prevailing_decl (tree decl)
>    ret = symtab_node_for_asm (DECL_ASSEMBLER_NAME (decl));
>    if (!ret)
>      return decl;
> +  gcc_checking_assert (TREE_PUBLIC (ret->symbol.decl) && !DECL_EXTERNAL
> (ret->symbol.decl));
>  
>    return ret->symbol.decl;
>  }

The loop looks weird.  It probably should be re-structured to a simple

  FOR_EACH_SYMBOL (node)
    if (!node->symbol.prev_sharing_asm_name
        && node->symbol.next_sharing_asm_name)
      lto_symtab_merge_decls_1 (node);

and not put too much magic into it.

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Which fixes the testcase, too.  Giving it testing.

[Bug lto/57334] [4.9 regression] ICE: in input_gimple_stmt, at gimple-streamer-in.c:287

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jun 18 09:56:59 2013
New Revision: 200165

URL: http://gcc.gnu.org/viewcvs?rev=200165&root=gcc&view=rev
Log:
2013-06-18  Richard Biener  <rguenther@suse.de>

    PR lto/57334
    * lto-symtab.c (lto_symtab_merge_decls): Process nodes properly.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lto-symtab.c