[Bug bootstrap/51086] New: [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[Bug bootstrap/51086] New: [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at gcc dot gnu.org]

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

             Bug #: 51086
           Summary: [4.7 regression] ICE in move_insn, at
                    haifa-sched.c:3437
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ro@gcc.gnu.org
                CC: ebotcazou@gcc.gnu.org
              Host: sparc-sun-solaris2.11
            Target: sparc-sun-solaris2.11
             Build: sparc-sun-solaris2.11


Between r181096 and r181259, cc1plus started to ICE compiling the stage 1
libstd++:

$  /var/gcc/regression/trunk/11-gcc-gas/build/./gcc/xgcc -shared-libgcc
-B/var/gcc/regression/trunk/11-gcc-gas/build/./gcc -nostdinc++
-L/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/src
-L/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/src/.libs
-B/vol/gcc/sparc-sun-solaris2.11/bin/ -B/vol/gcc/sparc-sun-solaris2.11/lib/
-isystem /vol/gcc/sparc-sun-solaris2.11/include -isystem
/vol/gcc/sparc-sun-solaris2.11/sys-include
-I/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include/sparc-sun-solaris2.11
-I/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include
-I/vol/gcc/src/hg/trunk/local/libstdc++-v3/libsupc++ -fno-implicit-templates
-Wall -Wextra -Wwrite-strings -Wcast-qual -fdiagnostics-show-location=once
-ffunction-sections -fdata-sections -frandom-seed=wlocale-inst.lo -g -O2 -c
/vol/gcc/src/hg/trunk/local/libstdc++-v3/src/wlocale-inst.cc  -fPIC -DPIC -o
.libs/wlocale-inst.o 
In file included from
/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include/bits/locale_facets.h:2607:0,
                 from
/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include/locale:42,
                 from
/vol/gcc/src/hg/trunk/local/libstdc++-v3/src/locale-inst.cc:30,
                 from
/vol/gcc/src/hg/trunk/local/libstdc++-v3/src/wlocale-inst.cc:34:
/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include/bits/locale_facets.tcc:
In member function 'void std::__numpunct_cache<_CharT>::_M_cache(const
std::locale&) [with _CharT = wchar_t]':
/var/gcc/regression/trunk/11-gcc-gas/build/sparc-sun-solaris2.11/libstdc++-v3/include/bits/locale_facets.tcc:128:5:
internal compiler error: in move_insn, at haifa-sched.c:3437

The failure can be reproduced with the attached input file:

$ cc1plus -fpreprocessed wlocale-inst.ii -quiet -mcpu=v9 -O2 -o wlocale-inst.s

  Rainer

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at gcc dot gnu.org]

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

--- Comment #1 from Rainer Orth <ro at gcc dot gnu.org> 2011-11-10 18:02:02 UTC ---
Created attachment 25789
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25789
preprocessed input

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

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

--- Comment #2 from Rainer Orth <ro at gcc dot gnu.org> 2011-11-11 13:03:22 UTC ---
A reghunt revealed that this patch

2011-11-09  Alan Modra  <amodra@gmail.com>

       * function.c (bb_active_p): Delete.
       (dup_block_and_redirect, active_insn_between): New functions.
       (convert_jumps_to_returns, emit_return_for_exit): New functions,
       split out from..
       (thread_prologue_and_epilogue_insns): ..here.  Delete
       shadowing variables.  Don't do prologue register clobber tests
       when shrink wrapping already failed.  Delete all last_bb_active
       code.  Instead compute tail block candidates for duplicating
       exit path.  Remove these from antic set.  Duplicate tails when
       reached from both blocks needing a prologue/epilogue and
       blocks not needing such.
       * ifcvt.c (dead_or_predicable): Test both flag_shrink_wrap and
       HAVE_simple_return.
       * bb-reorder.c (get_uncond_jump_length): Make global.
       * bb-reorder.h (get_uncond_jump_length): Declare.
       * cfgrtl.c (rtl_create_basic_block): Comment typo fix.
       (rtl_split_edge): Likewise.  Warning fix.
       (rtl_duplicate_bb): New function.
       (rtl_cfg_hooks): Enable can_duplicate_block_p and duplicate_block.
       * Makefile.in (function.o): Update dependencies.

is the culprit.  Alan, could you please have a look?

  Rainer

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[hp at gcc dot gnu.org]

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

Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:

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

--- Comment #3 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2011-11-14 14:06:35 UTC ---
Though the behavior is a tiny bit different, this seems to be a dup of bug
51051.
All that's needed is approval of Bernd's patch... and a ChangeLog entry!

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #4 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> 2011-11-14 15:24:22 UTC ---
> --- Comment #3 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2011-11-14 14:06:35 UTC ---
> Though the behavior is a tiny bit different, this seems to be a dup of bug
> 51051.
> All that's needed is approval of Bernd's patch... and a ChangeLog entry!

That patch is not enough: while it (together with the ones mentioned in
PR 51094, Comment 16) gets me into stage 2 on sparc-sun-solaris2.11, I
still hit the same ICE here:

+===========================GNAT BUG DETECTED==============================+
| 4.7.0 20111114 (experimental) [trunk revision 181350] (sparc-sun-solaris2.11)
GCC error:|
| in move_insn, at haifa-sched.c:3437                                      |
| Error detected around /vol/gcc/src/hg/trunk/local/gcc/ada/opt.adb:347:8  |

    Rainer

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-11-14
                 CC|amodra at gcc dot gnu.org   |
         AssignedTo|unassigned at gcc dot       |amodra at gmail dot com
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #5 from Alan Modra <amodra at gmail dot com> 2011-11-14 22:00:20 UTC ---
Please try http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01685.html

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #6 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> 2011-11-15 15:19:45 UTC ---
> --- Comment #5 from Alan Modra <amodra at gmail dot com> 2011-11-14 22:00:20 UTC ---
> Please try http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01685.html

Works like a charm: an all,ada,obj-c++,go bootstrap on
sparc-sun-solaris2.11 just completed, and there seem to be no
outstanding/unexpected testsuite failures.

Thanks.
        Rainer

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[amodra at gcc dot gnu.org]

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

--- Comment #7 from Alan Modra <amodra at gcc dot gnu.org> 2011-11-15 22:10:51 UTC ---
Author: amodra
Date: Tue Nov 15 22:10:46 2011
New Revision: 181391

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181391
Log:
    PR rtl-optimization/51051
    PR bootstrap/51086
    * function.c (thread_prologue_and_epilogue_insns): Guard
    emitting return with single_succ_p test.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/function.c

[Bug bootstrap/51086] [4.7 regression] ICE in move_insn, at haifa-sched.c:3437

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

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

--- Comment #8 from Alan Modra <amodra at gmail dot com> 2011-11-15 22:11:54 UTC ---
Fixed