[Bug bootstrap/58509] New: [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 breaks Ada bootstrap on sparc64-linux

[Bug bootstrap/58509] New: [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 breaks Ada bootstrap on sparc64-linux

[mikpe at it dot uu.se]

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

            Bug ID: 58509
           Summary: [4.9 regression] ICE in calc_dfs_tree, at
                    dominance.c:397 breaks Ada bootstrap on sparc64-linux
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mikpe at it dot uu.se
              Host: sparc64-linux
            Target: sparc-linux
             Build: sparc-linux

Attempting to bootstrap gcc-4.9-20130922 on sparc64-linux fails with:

/mnt/scratch/objdir49/./gcc/xgcc -B/mnt/scratch/objdir49/./gcc/
-B/mnt/scratch/install49/sparc-unknown-linux/bin/
-B/mnt/scratch/install49/sparc-unknown-linux/lib/ -isystem
/mnt/scratch/install49/sparc-unknown-linux/include -isystem
/mnt/scratch/install49/sparc-unknown-linux/sys-include    -c -g -O2  -fPIC  -W
-Wall -gnatpg -nostdinc   g-awk.adb -o g-awk.o
+===========================GNAT BUG DETECTED==============================+
| 4.9.0 20130922 (experimental) (sparc-unknown-linux) GCC error:           |
| in calc_dfs_tree, at dominance.c:397                                     |
| Error detected around g-awk.adb:264:9                                    |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

system.ads
g-awk.adb
g-awk.ads
gnat.ads
ada.ads
a-finali.ads
s-finroo.ads
g-regpat.ads
s-regpat.ads
a-except.ads
s-parame.ads
s-stalib.ads
a-unccon.ads
s-traent.ads
a-textio.ads
a-ioexce.ads
a-stream.ads
s-ficobl.ads
interfac.ads
i-cstrea.ads
s-crtl.ads
s-wchcon.ads
a-string.ads
a-strunb.ads
a-strmap.ads
a-charac.ads
a-chlat1.ads
a-strfix.ads
a-uncdea.ads
g-dirope.ads
g-dyntab.ads
g-os_lib.ads
s-os_lib.ads
s-string.ads
s-exctab.ads
a-tags.ads
s-stoele.ads
s-stoele.adb
s-soflin.ads
s-stache.ads
s-finmas.ads
s-stopoo.ads
s-pooglo.ads
s-unstyp.ads
s-stratt.ads
s-secsta.ads
s-stposu.ads
s-ststop.ads
s-imgint.ads
s-valint.ads
s-valrea.ads
g-dyntab.adb
g-hesorg.ads
s-memory.ads
g-hesorg.adb


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:432
make[7]: *** [g-awk.o] Error 1
make[7]: Leaving directory `/mnt/scratch/objdir49/gcc/ada/rts'
make[6]: *** [gnatlib] Error 2
make[6]: Leaving directory `/mnt/scratch/objdir49/gcc/ada'
make[5]: *** [gnatlib-shared-default] Error 2
make[5]: Leaving directory `/mnt/scratch/objdir49/gcc/ada'
make[4]: *** [gnatlib-shared-dual] Error 2
make[4]: Leaving directory `/mnt/scratch/objdir49/gcc/ada'
make[3]: *** [gnatlib-shared] Error 2
make[3]: Leaving directory `/mnt/scratch/objdir49/gcc/ada'
make[2]: *** [gnatlib-shared] Error 2
make[2]: Leaving directory `/mnt/scratch/objdir49/sparc-unknown-linux/libada'
make[1]: *** [all-target-libada] Error 2
make[1]: Leaving directory `/mnt/scratch/objdir49'
make: *** [bootstrap] Error 2

The previous weekly snapshot, gcc-4.9-20130915, bootstrapped fine on this
machine.  I haven't seen this failure on x86_64 or powerpc64 (armv5tel is still
building).

Configuration options:
--prefix=/mnt/scratch/install48
--with-gmp=/home/mikpe/pkgs/linux-sparc64/gmp-5.1.2
--with-mpfr=/home/mikpe/pkgs/linux-sparc64/mpfr-3.1.2
--with-mpc=/home/mikpe/pkgs/linux-sparc64/mpc-1.0.1 --enable-multilib
--disable-plugin --disable-lto --disable-nls --enable-threads=posix
--enable-checking=release --disable-libmudflap
--enable-languages=c,c++,fortran,ada --build=sparc-unknown-linux
--target=sparc-unknown-linux --with-cpu=ultrasparc --enable-targets=all

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 breaks Ada bootstrap on sparc64-linux

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2013-09-24
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Can you provide a backtrace?  This usually means that unreachable blocks are
left in the CFG.

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 breaks Ada bootstrap on sparc64-linux

[mikpe at it dot uu.se]

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

--- Comment #2 from Mikael Pettersson <mikpe at it dot uu.se> ---
(gdb) break fancy_abort
Breakpoint 2 at 0x9e4a04
(gdb) run -gnatwa -quiet -nostdinc -dumpbase g-awk.adb -auxbase-strip g-awk.o
-O2 -Wextra -Wall -fPIC -g -gnatpg -mcpu=ultrasparc -gnatO g-awk.o g-awk.adb -o
/tmp/ccUyexwj.s
Starting program: /mnt/scratch/objdir49/gcc/gnat1 -gnatwa -quiet -nostdinc
-dumpbase g-awk.adb -auxbase-strip g-awk.o -O2 -Wextra -Wall -fPIC -g -gnatpg
-mcpu=ultrasparc -gnatO g-awk.o g-awk.adb -o /tmp/ccUyexwj.s

Breakpoint 2, 0x009e4a04 in fancy_abort(char const*, int, char const*) ()
(gdb) bt
#0  0x009e4a04 in fancy_abort(char const*, int, char const*) ()
#1  0x00409bbc in calc_dfs_tree(dom_info*, bool) () at
/mnt/scratch/gcc-4.9-20130922/gcc/dominance.c:397
#2  0x0040a234 in calculate_dominance_info(cdi_direction) () at
/mnt/scratch/gcc-4.9-20130922/gcc/dominance.c:658
#3  0x003be1f4 in flow_loops_find(loops*) ()
#4  0x00570630 in loop_optimizer_init(unsigned int) () at
/mnt/scratch/gcc-4.9-20130922/gcc/loop-init.c:91
#5  0x00965c30 in if_convert(bool) () at
/mnt/scratch/gcc-4.9-20130922/gcc/ifcvt.c:4377
#6  0x009676b0 in (anonymous namespace)::pass_if_after_reload::execute() () at
/mnt/scratch/gcc-4.9-20130922/gcc/ifcvt.c:4587
#7  0x005d9ef4 in execute_one_pass(opt_pass*) () at
/mnt/scratch/gcc-4.9-20130922/gcc/passes.c:2201
#8  0x005da13c in execute_pass_list(opt_pass*) () at
/mnt/scratch/gcc-4.9-20130922/gcc/passes.c:2253
#9  0x005da160 in execute_pass_list(opt_pass*) () at
/mnt/scratch/gcc-4.9-20130922/gcc/passes.c:2254
#10 0x005da160 in execute_pass_list(opt_pass*) () at
/mnt/scratch/gcc-4.9-20130922/gcc/passes.c:2254
#11 0x003d98f4 in expand_function(cgraph_node*) () at
/mnt/scratch/gcc-4.9-20130922/gcc/cgraphunit.c:1750
#12 0x003db730 in compile() () at
/mnt/scratch/gcc-4.9-20130922/gcc/cgraphunit.c:1855
#13 0x003dbb80 in finalize_compilation_unit() () at
/mnt/scratch/gcc-4.9-20130922/gcc/cgraphunit.c:2269
#14 0x0006bcbc in gnat_write_global_declarations() () at
/mnt/scratch/gcc-4.9-20130922/gcc/ada/gcc-interface/utils.c:5630
#15 0x00692200 in compile_file() ()
#16 0x006940bc in toplev_main(int, char**) ()
#17 0xf7d44234 in __libc_start_main () from /lib/libc.so.6
#18 0x00044054 in _start ()
(gdb)

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 breaks Ada bootstrap on sparc64-linux

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 during Ada runtime build

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|sparc-linux                 |sparc-*-*
               Host|sparc64-linux               |
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot gnu.org
            Summary|[4.9 regression] ICE in     |[4.9 regression] ICE in
                   |calc_dfs_tree, at           |calc_dfs_tree, at
                   |dominance.c:397 breaks Ada  |dominance.c:397 during Ada
                   |bootstrap on sparc64-linux  |runtime build
              Build|sparc-linux                 |
           Severity|normal                      |major

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
An interesting interaction between inlining and the SPARC-specific ldd
peephole.
I have a patch for a couple of days, but I'm exploring another approach first.

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 during Ada runtime build

[mikpelinux at gmail dot com]

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

--- Comment #5 from Mikael Pettersson <mikpelinux at gmail dot com> ---
This bootstrap error still occurs with gcc-4.9-20131006.  I've now decided to
stop testing Ada on SPARC.

[Bug bootstrap/58509] [4.9 regression] ICE in calc_dfs_tree, at dominance.c:397 during Ada runtime build

[ebotcazou at gcc dot gnu.org]

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

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Author: ebotcazou
Date: Mon Oct 14 10:13:12 2013
New Revision: 203518

URL: http://gcc.gnu.org/viewcvs?rev=203518&root=gcc&view=rev
Log:
    PR bootstrap/58509
    * config/sparc/sparc-protos.h (widen_mem_for_ldd_peep): Declare.
    (registers_ok_for_ldd_peep): Move around.
    * config/sparc/sparc.c (widen_mem_for_ldd_peep): New.
    * config/sparc/sparc.md (widening peepholes): Use it.

Added:
    trunk/gcc/testsuite/gnat.dg/specs/opt1.ads
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/sparc/sparc-protos.h
    trunk/gcc/config/sparc/sparc.c
    trunk/gcc/config/sparc/sparc.md
    trunk/gcc/testsuite/ChangeLog