[Bug bootstrap/49474] New: GCC 4.7-20110618 fails to bootstrap on stage 2: gcc/fortran/resolve.c:5360:1: internal compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets at cprop.c:1346

[Bug bootstrap/49474] New: GCC 4.7-20110618 fails to bootstrap on stage 2: gcc/fortran/resolve.c:5360:1: internal compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets at cprop.c:1346

[dougmencken at gmail dot com]

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

           Summary: GCC 4.7-20110618 fails to bootstrap on stage 2:
                    gcc/fortran/resolve.c:5360:1: internal compiler error:
                    vector VEC(edge,base) index domain error, in
                    find_implicit_sets at cprop.c:1346
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dougmencken@gmail.com


Created attachment 24566
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24566
Preprocessed file gcc/fortran/resolve.i

ICE on GCC code.

/root/build-farm/_gcc_bootstrap/./prev-gcc/xgcc
-B/root/build-farm/_gcc_bootstrap/./prev-gcc/
-B/usr/powerpc-gnu-linux-uclibc/bin/ -B/usr/powerpc-gnu-linux-uclibc/bin/
-B/usr/powerpc-gnu-linux-uclibc/lib/ -isystem
/usr/powerpc-gnu-linux-uclibc/include -isystem
/usr/powerpc-gnu-linux-uclibc/sys-include    -c  -DIN_GCC_FRONTEND -O3 -gtoggle
-DIN_GCC   -W -Wall -Wwrite-strings -Wcast-qual -Wstrict-prototypes
-Wmissing-prototypes -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -Wold-style-definition
-Wc++-compat   -DHAVE_CONFIG_H -I. -Ifortran
-I../../gcc-v4.7-20110618.sourcedir/gcc
-I../../gcc-v4.7-20110618.sourcedir/gcc/fortran
-I../../gcc-v4.7-20110618.sourcedir/gcc/../include
-I../../gcc-v4.7-20110618.sourcedir/gcc/../libcpp/include 
-I../../gcc-v4.7-20110618.sourcedir/gcc/../libdecnumber
-I../../gcc-v4.7-20110618.sourcedir/gcc/../libdecnumber/dpd -I../libdecnumber  
 ../../gcc-v4.7-20110618.sourcedir/gcc/fortran/resolve.c -o fortran/resolve.o
../../gcc-v4.7-20110618.sourcedir/gcc/fortran/resolve.c: In function
'update_arglist_pass':
../../gcc-v4.7-20110618.sourcedir/gcc/fortran/resolve.c:5360:1: internal
compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets
at cprop.c:1346
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[3]: *** [fortran/resolve.o] Error 1
make[3]: Leaving directory `/root/build-farm/_gcc_bootstrap/gcc'

** Stage of native bootstrapping: stage 2.

** Host GCC -v:
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/powerpc-gnu-linux-uclibc/4.6.0/lto-wrapper
Target: powerpc-gnu-linux-uclibc
Configured with: ../gcc-v4.6-20110226.sourcedir/configure --prefix=/usr
--sysconfdir=/etc --mandir=/usr/share/man --build=powerpc-gnu-linux-uclibc
--host=powerpc-gnu-linux-uclibc --target=powerpc-gnu-linux-uclibc
--enable-languages=c,c++,fortran,java --with-cpu=default32
--enable-threads=posix --with-system-zlib --with-libiconv-prefix=/usr
--disable-nls --disable-werror --disable-multilib --disable-libssp
--disable-__cxa_atexit --disable-checking --enable-shared --without-gjdoc
--enable-libgcj --enable-libgcj-multifile --enable-interpreter
--disable-libjava-multilib --disable-browser-plugin
Thread model: posix
gcc version 4.6.0 20110226 (experimental) (GCC)

** System type: powerpc-gnu-linux-uclibc (GNU/uClibc/Linux system on PowerPC).

** The options given when GCC was configured/built (from config.log):
../gcc-v4.7-20110618.sourcedir/configure --prefix=/usr --sysconfdir=/etc
--mandir=/usr/share/man --build=powerpc-gnu-linux-uclibc
--host=powerpc-gnu-linux-uclibc --target=powerpc-gnu-linux-uclibc
--enable-languages=c,c++,fortran,java --with-cpu=default32
--enable-threads=posix --with-system-zlib --with-libiconv-prefix=/usr
--disable-nls --disable-werror --disable-multilib --disable-libssp
--disable-__cxa_atexit --disable-checking --enable-shared --without-gjdoc
--enable-libgcj --enable-libgcj-multifile --enable-interpreter
--disable-libjava-multilib --disable-browser-plugin

** Preprocessed file gcc/fortran/resolve.i: attached.

[Bug rtl-optimization/49474] [4.7 Regression] GCC 4.7-20110618 fails to bootstrap on stage 2: gcc/fortran/resolve.c:5360:1: internal compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets at cprop.c:1346

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|bootstrap                   |rtl-optimization
   Target Milestone|---                         |4.7.0
            Summary|GCC 4.7-20110618 fails to   |[4.7 Regression] GCC
                   |bootstrap on stage 2:       |4.7-20110618 fails to
                   |gcc/fortran/resolve.c:5360: |bootstrap on stage 2:
                   |1: internal compiler error: |gcc/fortran/resolve.c:5360:
                   |vector VEC(edge,base) index |1: internal compiler error:
                   |domain error, in            |vector VEC(edge,base) index
                   |find_implicit_sets at       |domain error, in
                   |cprop.c:1346                |find_implicit_sets at
                   |                            |cprop.c:1346

[Bug rtl-optimization/49474] [4.7 Regression] GCC 4.7-20110618 fails to bootstrap on stage 2: gcc/fortran/resolve.c:5360:1: internal compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets at cprop.c:1346

[dougmencken at gmail dot com]

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

Douglas Mencken <dougmencken at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.1

--- Comment #1 from Douglas Mencken <dougmencken at gmail dot com> 2011-07-05 23:38:04 UTC ---
UPD: Tried bootstrapping of GCC 4.6.1. It doesn't fail under such error.

[Bug rtl-optimization/49474] [4.7 Regression] GCC 4.7-pre fails to bootstrap on stage 2: gcc/fortran/resolve.c:5360:1: internal compiler error: vector VEC(edge,base) index domain error, in find_implicit_sets at cprop.c:1346

[dougmencken at gmail dot com]

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

--- Comment #2 from Douglas Mencken <dougmencken at gmail dot com> 2011-07-09 17:19:38 UTC ---
Tried with gcc-v4.7-20110702, now adding `--enable-stage1-languages=c,fortran'
to configure options.
Stage1 builds fine (now stage0 compiler is 4.6.1-release), even with fortran
enabled. On stage2, the process stops at the same moment as I reported
initially.

~/build-farm/_gcc_bootstrap # ls -l prev-gcc/fortran/resolve.o
-rw-r--r--    1 root     0           455536 Jul  9 00:15
prev-gcc/fortran/resolve.o
~/build-farm/_gcc_bootstrap # ls -l gcc/fortran/resolve.o
ls: gcc/fortran/resolve.o: No such file or directory

I also compared sizes of cprop.o object files on both stages, they do differ
very much (files are also uploaded to
http://ftp.osuosl.org/pub/manulix/logs+errors/gcc-v4.7-20110702/ ):

~/build-farm # ls -l stage*-cprop.o
-rw-r--r--    1 root     0           959512 Jul  9 10:59 stage1-cprop.o
-rw-r--r--    1 root     0           314088 Jul  9 10:58 stage2-cprop.o

I also figured out that gcc/cprop.c file does not exist in GCC < 4.7 source
tarballs.

So the possible reason for the error may be Steven Bosscher's efforts to split
gcse.c --> cprop.c and then "clean it up", which caused this regression.

I would be thankful for any response.

[Bug rtl-optimization/49474] [4.7 Regression] ppc ICEs with -O3 (bootstrapping with -O3)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
               Host|powerpc-gnu-linux-uclibc    |
      Known to fail|                            |4.7.0
              Build|powerpc-gnu-linux-uclibc    |

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-07-11 22:05:44 UTC ---
I can reproduce this with a cross compiler, I am reducing the testcase right
now.

[Bug rtl-optimization/49474] [4.7 Regression] ppc ICEs with -O3 (bootstrapping with -O3 and --disable-checking)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.07.11 22:28:28
            Summary|[4.7 Regression] ppc ICEs   |[4.7 Regression] ppc ICEs
                   |with -O3 (bootstrapping     |with -O3 (bootstrapping
                   |with -O3)                   |with -O3 and
                   |                            |--disable-checking)
     Ever Confirmed|0                           |1

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-07-11 22:28:28 UTC ---
reduced testcase:
typedef struct gfc_formal_arglist
{
  int next;
}
gfc_actual_arglist;
update_arglist_pass (gfc_actual_arglist* lst, int po, unsigned argpos,
       const char *name)
{
  ((void)(__builtin_expect(!(argpos > 0), 0) ? __builtin_unreachable(), 0 :
0));
  if (argpos == 1)
      return 0;
  if (lst)
    lst->next = update_arglist_pass (lst->next, po, argpos - 1, name);
  else
    lst = update_arglist_pass (((void *)0), po, argpos - 1, name);
}
--- CUT ---
Simple fix:
Index: cprop.c
===================================================================
--- cprop.c    (revision 176186)
+++ cprop.c    (working copy)
@@ -1332,7 +1332,7 @@ find_implicit_sets (void)
   FOR_EACH_BB (bb)
     {
       /* Check for more than one successor.  */
-      if (! EDGE_COUNT (bb->succs) > 1)
+      if (EDGE_COUNT (bb->succs) <= 1)
     continue;

       cond = fis_get_condition (BB_END (bb));

[Bug rtl-optimization/49474] [4.7 Regression] ppc ICEs with -O3 (bootstrapping with -O3 and --disable-checking)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |pinskia at gcc dot gnu.org
                   |gnu.org                     |

[Bug rtl-optimization/49474] [4.7 Regression] ppc ICEs with -O3 (bootstrapping with -O3 and --disable-checking)

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-07-12 18:46:13 UTC ---
Author: pinskia
Date: Tue Jul 12 18:46:10 2011
New Revision: 176213

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176213
Log:
2011-07-12  Andrew Pinski  <pinskia@gmail.com>

    PR rtl-opt/49474
    * cprop.c (find_implicit_sets): Correct the condition.

2011-07-12  Andrew Pinski  <pinskia@gmail.com>

    PR rtl-opt/49474
    * gcc.c-torture/compile/pr49474.c: New testcase.



Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr49474.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cprop.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/49474] [4.7 Regression] ppc ICEs with -O3 (bootstrapping with -O3 and --disable-checking)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
             Status|ASSIGNED                    |RESOLVED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2011-07/msg00949.htm
                   |                            |l
         Resolution|                            |FIXED

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-07-12 18:46:54 UTC ---
Fixed.