[Bug rtl-optimization/57105] New: [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[Bug rtl-optimization/57105] New: [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[zsojka at seznam dot cz]

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

             Bug #: 57105
           Summary: [4.9 Regression] ICE: in add_insn_before_nobb, at
                    emit-rtl.c:3883 with -Os -fselective-scheduling2 -g
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

Compiler output:
$ gcc -Os -fselective-scheduling2 -g testcase.c
testcase.c: In function 'foo':
testcase.c:16:1: internal compiler error: in add_insn_before_nobb, at
emit-rtl.c:3883
 }
 ^
0x758a1f add_insn_before_nobb
        /mnt/svn/gcc-trunk/gcc/emit-rtl.c:3883
0x761441 add_insn_before(rtx_def*, rtx_def*, basic_block_def*)
        /mnt/svn/gcc-trunk/gcc/emit-rtl.c:3945
0x76447e emit_note_before(insn_note, rtx_def*)
        /mnt/svn/gcc-trunk/gcc/emit-rtl.c:4516
0x7a6b44 change_scope
        /mnt/svn/gcc-trunk/gcc/final.c:1591
0x7acef2 reemit_insn_block_notes
        /mnt/svn/gcc-trunk/gcc/final.c:1640
0x7acef2 final_start_function(rtx_def*, _IO_FILE*, int)
        /mnt/svn/gcc-trunk/gcc/final.c:1733
0x7aff25 rest_of_handle_final
        /mnt/svn/gcc-trunk/gcc/final.c:4331
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.

$ gcc -v                                       
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-198366-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-198366-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.9.0 20130428 (experimental) (GCC) 

Tested revisions:
r198366 - crash
4.8 r198018 - OK

[Bug rtl-optimization/57105] [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[rguenth at gcc dot gnu.org]

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

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

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

[Bug rtl-optimization/57105] [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[abel at gcc dot gnu.org]

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

--- Comment #1 from Andrey Belevantsev <abel at gcc dot gnu.org> 2013-04-29 09:18:26 UTC ---
Does the patch from http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56957#c9 fixes
your issue?

[Bug rtl-optimization/57105] [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-29 09:38:16 UTC ---
Yeah, it does.

[Bug rtl-optimization/57105] [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[abel at gcc dot gnu.org]

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

--- Comment #3 from Andrey Belevantsev <abel at gcc dot gnu.org> 2013-04-29 09:40:11 UTC ---
Fine, I've tested it on ia64 and got an offline approval from Alexander, I'd
need to test on x86-64 and commit then.

[Bug rtl-optimization/57105] [4.9 Regression] ICE: in add_insn_before_nobb, at emit-rtl.c:3883 with -Os -fselective-scheduling2 -g

[abel at gcc dot gnu.org]

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

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

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

--- Comment #4 from Andrey Belevantsev <abel at gcc dot gnu.org> 2013-04-30 10:58:27 UTC ---
Fixed with: 
Author: abel
Date: Tue Apr 30 10:55:52 2013
New Revision: 198449

URL: http://gcc.gnu.org/viewcvs?rev=198449&root=gcc&view=rev
Log:
        PR rtl-optimization/56957
        PR rtl-optimization/57105

        * sel-sched.c (move_op_orig_expr_found): Remove insn_emitted
        variable.  Use just INSN_UID for determining whether an insn
        should be only disconnected from the insn stream.
        * sel-sched-ir.h (EXPR_WAS_CHANGED): Remove.

    * gcc.dg/pr57105.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr57105.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched-ir.h
    trunk/gcc/sel-sched.c
    trunk/gcc/testsuite/ChangeLog