[Bug c/32865] New: glibc ICE's gcc-4.3.0 SSA corruption [4.3 Regression]

[Bug c/32865] New: glibc ICE's gcc-4.3.0 SSA corruption [4.3 Regression]

[michelin60 at gmail dot com]

First noticed July 16, 2007

The skinny

Using built-in specs.
Target: powerpc-unknown-linux-gnu
Configured with: ../gcc-4.3.0/configure --prefix=/usr --infodir=/usr/share/info
--mandir=/usr/share/man --host=powerpc-unknown-linux-gnu
--build=powerpc-unknown-linux-gnu --enable-__cxa_atexit --enable-threads=posix
--enable-shared --enable-clocale=gnu --enable-bootstrap
--enable-languages=c,c++,fortran --enable-altivec --disable-checking
--disable-nls --disable-werror --disable-multilib --with-ibmlongdouble
--with-cpu=G4 --enable-clocale=gnu --with-system-zlib
Thread model: posix
gcc version 4.3.0 20070723 (experimental)
 /usr/libexec/gcc/powerpc-unknown-linux-gnu/4.3.0/cc1 -fpreprocessed vfprintf.i
-quiet -dumpbase vfprintf.i -mcpu=G4 -auxbase vfprintf -O2 -version -o
/tmp/cc85HTF5.s
GNU C version 4.3.0 20070723 (experimental) (powerpc-unknown-linux-gnu)
        compiled by GNU C version 4.3.0 20070723 (experimental), GMP version
4.2.1, MPFR version 2.2.1-p5.
GGC heuristics: --param ggc-min-expand=81 --param ggc-min-heapsize=96556
Compiler executable checksum: 5d5139bad2f5d41bdb4959a445c33bb0

Unable to coalesce ssa_names 1221 and 144 which are marked as MUST COALESCE.
is_long_double_1221(ab) and  is_long_double_144(ab)
vfprintf.c: In function '_IO_vfprintf_internal':
vfprintf.c:184: internal compiler error: SSA corruption
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


The extended:

powerpc-unknown-linux-gnu-gcc: warning: -pipe ignored because -save-temps
specified
Using built-in specs.
Target: powerpc-unknown-linux-gnu
Configured with: ../gcc-4.3.0/configure --prefix=/usr --infodir=/usr/share/info
--mandir=/usr/share/man --host=powerpc-unknown-linux-gnu
--build=powerpc-unknown-linux-gnu --enable-__cxa_atexit --enable-threads=posix
--enable-shared --enable-clocale=gnu --enable-bootstrap
--enable-languages=c,c++,fortran --enable-altivec --disable-checking
--disable-nls --disable-werror --disable-multilib --with-ibmlongdouble
--with-cpu=G4 --enable-clocale=gnu --with-system-zlib
Thread model: posix
gcc version 4.3.0 20070723 (experimental)
 /usr/libexec/gcc/powerpc-unknown-linux-gnu/4.3.0/cc1 -E -quiet -nostdinc -v
-I../include
-I/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common
-I/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl
-I../sysdeps/powerpc/powerpc32/elf -I../sysdeps/powerpc/elf
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu
-I../sysdeps/powerpc/powerpc32/fpu
-I../nptl/sysdeps/unix/sysv/linux/powerpc/powerpc32
-I../ports/sysdeps/unix/sysv/linux/powerpc/powerpc32
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32
-I../nptl/sysdeps/unix/sysv/linux/powerpc
-I../ports/sysdeps/unix/sysv/linux/powerpc -I../sysdeps/unix/sysv/linux/powerpc
-I../sysdeps/ieee754/ldbl-128ibm -I../sysdeps/ieee754/ldbl-opt
-I../nptl/sysdeps/unix/sysv/linux -I../nptl/sysdeps/pthread
-I../sysdeps/pthread -I../ports/sysdeps/unix/sysv/linux
-I../sysdeps/unix/sysv/linux -I../sysdeps/gnu -I../sysdeps/unix/common
-I../sysdeps/unix/mman -I../sysdeps/unix/inet -I../nptl/sysdeps/unix/sysv
-I../ports/sysdeps/unix/sysv -I../sysdeps/unix/sysv -I../sysdeps/unix/powerpc
-I../nptl/sysdeps/unix -I../ports/sysdeps/unix -I../sysdeps/unix
-I../sysdeps/posix -I../sysdeps/powerpc/powerpc32 -I../sysdeps/wordsize-32
-I../sysdeps/powerpc/fpu -I../nptl/sysdeps/powerpc -I../ports/sysdeps/powerpc
-I../sysdeps/powerpc -I../sysdeps/ieee754/dbl-64 -I../sysdeps/ieee754/flt-32
-I../sysdeps/ieee754 -I../sysdeps/generic/elf -I../sysdeps/generic -I../nptl
-I../ports -I.. -I../libio -I. -MD
/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common/vfprintf.d
-MF
/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common/vfprintf.o.dt
-MP -MT
/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common/vfprintf.o
-D__unix__ -D__gnu_linux__ -D__linux__ -Dunix -D__unix -Dlinux -D__linux
-Asystem=linux -Asystem=unix -Asystem=posix -D_LIBC_REENTRANT -D_IO_MTSAFE_IO
-isystem include -isystem /usr/include -include ../include/libc-symbols.h
vfprintf.c -mcpu=G4 -mnew-mnemonics -mlong-double-128 -std=gnu99 -Wall -Winline
-Wwrite-strings -Wstrict-prototypes -Wno-uninitialized -fgnu89-inline
-fmerge-all-constants -fno-strict-aliasing -freorder-blocks -O2
-fpch-preprocess -o vfprintf.i
ignoring nonexistent directory "include"
#include "..." search starts here:
#include <...> search starts here:
 ../include
 /var/tmp/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common
 /var/tmp/build-default-powerpc-unknown-linux-gnu-nptl
 ../sysdeps/powerpc/powerpc32/elf
 ../sysdeps/powerpc/elf
 ../sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu
 ../sysdeps/powerpc/powerpc32/fpu
 ../nptl/sysdeps/unix/sysv/linux/powerpc/powerpc32
 ../ports/sysdeps/unix/sysv/linux/powerpc/powerpc32
 ../sysdeps/unix/sysv/linux/powerpc/powerpc32
 ../nptl/sysdeps/unix/sysv/linux/powerpc
 ../ports/sysdeps/unix/sysv/linux/powerpc
 ../sysdeps/unix/sysv/linux/powerpc
 ../sysdeps/ieee754/ldbl-128ibm
 ../sysdeps/ieee754/ldbl-opt
 ../nptl/sysdeps/unix/sysv/linux
 ../nptl/sysdeps/pthread
 ../sysdeps/pthread
 ../ports/sysdeps/unix/sysv/linux
 ../sysdeps/unix/sysv/linux
 ../sysdeps/gnu
 ../sysdeps/unix/common
 ../sysdeps/unix/mman
 ../sysdeps/unix/inet
 ../nptl/sysdeps/unix/sysv
 ../ports/sysdeps/unix/sysv
 ../sysdeps/unix/sysv
 ../sysdeps/unix/powerpc
 ../nptl/sysdeps/unix
 ../ports/sysdeps/unix
 ../sysdeps/unix
 ../sysdeps/posix
 ../sysdeps/powerpc/powerpc32
 ../sysdeps/wordsize-32
 ../sysdeps/powerpc/fpu
 ../nptl/sysdeps/powerpc
 ../ports/sysdeps/powerpc
 ../sysdeps/powerpc
 ../sysdeps/ieee754/dbl-64
 ../sysdeps/ieee754/flt-32
 ../sysdeps/ieee754
 ../sysdeps/generic/elf
 ../sysdeps/generic
 ../nptl
 ../ports
 ..
 ../libio
 .
 /usr/include/libffi
 /usr/include
End of search list.
 /usr/libexec/gcc/powerpc-unknown-linux-gnu/4.3.0/cc1 -fpreprocessed vfprintf.i
-quiet -dumpbase vfprintf.c -mcpu=G4 -mnew-mnemonics -mlong-double-128
-auxbase-strip
/var/tmp/portage/sys-libs/glibc-2.6/work/build-default-powerpc-unknown-linux-gnu-nptl/stdio-common/vfprintf.o
-O2 -Wall -Winline -Wwrite-strings -Wstrict-prototypes -Wno-uninitialized
-std=gnu99 -version -fgnu89-inline -fmerge-all-constants -fno-strict-aliasing
-freorder-blocks -o vfprintf.s
GNU C version 4.3.0 20070723 (experimental) (powerpc-unknown-linux-gnu)
        compiled by GNU C version 4.3.0 20070723 (experimental), GMP version
4.2.1, MPFR version 2.2.1-p5.
GGC heuristics: --param ggc-min-expand=81 --param ggc-min-heapsize=96556
Compiler executable checksum: 5d5139bad2f5d41bdb4959a445c33bb0
vfprintf.c: In function '_IO_vfprintf_internal':
vfprintf.c:1301: warning: pointer targets in passing argument 1 of
'__find_specmb' differ in signedness

Unable to coalesce ssa_names 1221 and 144 which are marked as MUST COALESCE.
is_long_double_1221(ab) and  is_long_double_144(ab)
vfprintf.c:184: internal compiler error: SSA corruption
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: glibc ICE's gcc-4.3.0  SSA corruption [4.3 Regression]
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: michelin60 at gmail dot com
 GCC build triplet: rs6000
  GCC host triplet: rs6000
GCC target triplet: rs6000


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

[Bug c/32865] glibc ICE's gcc-4.3.0 SSA corruption [4.3 Regression]

[michelin60 at gmail dot com]

------- Comment #1 from michelin60 at gmail dot com  2007-07-23 13:48 -------
Created an attachment (id=13952)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13952&action=view)
preprocessed vprintf.c from glibc-2.6

vprintf.c from glibc-2.6, glibc2.6.90, and glibc-2.5 differ in minor ways but
cause the same SSA-Corruption


-- 


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

[Bug c/32865] glibc ICE's gcc-4.3.0 SSA corruption [4.3 Regression]

[michelin60 at gmail dot com]

------- Comment #2 from michelin60 at gmail dot com  2007-07-23 13:51 -------
Created an attachment (id=13953)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13953&action=view)
Partial *.s output


-- 


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal
            Summary|glibc ICE's gcc-4.3.0  SSA  |[4.3 Regression] glibc ICE's
                   |corruption [4.3 Regression] |gcc-4.3.0  SSA corruption
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-07-23 17:22 -------
Stop changing the CC for this bug, the issue is a generic issue and most likely
unrelated to any of the CC you added.  This is more likely to be a PRE issue
than anything else.  When I get into work, I will look into it further to
double check.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dje at watson dot ibm dot   |
                   |com, amacleod at redhat dot |
                   |com, drepper at redhat dot  |
                   |com                         |


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[michelin60 at gmail dot com]

------- Comment #4 from michelin60 at gmail dot com  2007-07-23 18:03 -------
(In reply to comment #3)
> Stop changing the CC for this bug, the issue is a generic issue and most likely
> unrelated to any of the CC you added.  This is more likely to be a PRE issue
> than anything else.  When I get into work, I will look into it further to
> double check.
> 
The three person CC'd are listed per MAINTAINERS as follows:
rs600o port    David Edelsohn
c++ runtime libs   Ulrich Drepper (also glibc)
tree-ssa       Andrew Macloed

while
spu port      Andre Pinski (spu ?= playsation.sony.???)

Doing a search of PR's filed I came up, surprise, with no remotely equivalent
report and I chose people that matched what I reported. As the author of the
report I think that I have the right to choose peple that match as provided by
the MAINTAINER's list


-- 

michelin60 at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dje at watson dot ibm dot
                   |                            |com, amacleod at redhat dot
                   |                            |com, drepper at redhat dot
                   |                            |com


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[dje at watson dot ibm dot com]

------- Comment #5 from dje at watson dot ibm dot com  2007-07-23 18:05 -------
Subject: Re:  [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption 

>>>>> michelin60 at gmail dot com writes:

michelin60> Doing a search of PR's filed I came up, surprise, with no remotely
equivalent
michelin60> report and I chose people that matched what I reported. As the
author of the
michelin60> report I think that I have the right to choose peple that match as
provided by
michelin60> the MAINTAINER's list

        No, you do not.  You submitted the bug.  Let the GCC developers
decide how best to triage and analyse the bug.

David


-- 


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[michelin60 at gmail dot com]

------- Comment #6 from michelin60 at gmail dot com  2007-07-23 18:33 -------
(In reply to comment #5)
> Subject: Re:  [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption 
> 
>         No, you do not.  You submitted the bug.  Let the GCC developers
> decide how best to triage and analyse the bug.
> 
> David

Well David here is an interesting quote:

IMO the most notorious case is how
the gcc development is held hostage by Edelsohn and maybe IBM as a whole by
requesting that everything always works perfectly well on AIX. How often has
one seen "this patch breaks AIX, back it out". It cannot reasonably be expected
that everybody tests on AIX. It is an proprietary OS running on proprietary and
expensive hardware which not many people have access to. The overall
development speed could be significantly improved by dropping the AIX
requirement which, in some form or another, has been agreed upon by the
steering committee. AIX is irrelevant in general today, i.e., the situation
changed. And the people in the steering committee are too nice to just tell the
very small minority causing the problem to take a hike. 


-- 


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-07-23 18:42 -------
(In reply to comment #6)
> Well David here is an interesting quote:

Lets put it this way, this quote is true but it is held hostage in a good way. 
You don't want broken code in your compiler do you?  This is what David and AIX
does for GCC, they prevent bad code from being in GCC.  Have you looked into
what has been found via compiling on AIX? Lots of bugs.  Who wants bugs in
their compiler?  

Anyways as I have mentioned before, I am 99% sure this is ___NOT___ related to
the powerpc back-end at all.  And next time please don't CC anyone unless you
are sure at what patch caused the issue.  Also don't you can't expect a
response within 24 hours, GCC developers are busy with their day jobs.


-- 


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2007-07-23 18:56 -------
Working on a reduced testcase but when I quickly looked into it, PRE was
messing up the variables that have abnormal set  so this is unrelated to the
rs6000 back-end.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dje at watson dot ibm dot   |dberlin at gcc dot gnu dot
                   |com, amacleod at redhat dot |org
                   |com, drepper at redhat dot  |
                   |com                         |


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2007-07-23 21:31 -------
Generic (also ICEs on i686-linux-gnu) reduced testcase:
void _IO_vfprintf_internal ( char *f )
{
  static const void *const step0_jumps[] = { &&do_form_unknown, &&do_flag_plus,
&&do_form_float };
  const void * ptr = step0_jumps[0];
  do {
    char spec;
    spec = (*++f);
    goto *ptr;
do_flag_plus:
     read_int (&f);
do_number:
    _itoa_word (spec);
do_form_float:
    if (ptr != ((void *)0))
    {
      spec = 'x';
      goto do_number;
    }
    if (spec != 'S')
      __strnlen ();
    return;
    do_form_unknown:;
  }
  while (*f != '\0');
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|rs6000                      |
   GCC host triplet|rs6000                      |
 GCC target triplet|rs6000                      |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2007-07-23 21:31:48
               date|                            |


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2007-07-23 21:35 -------
Value numbering spec_28(ab) stmt = spec_28(ab) = PHI <spec_7(ab)(3)>
Setting value number of spec_28(ab) to spec_7(ab)

We should not value number this PHI node, yes it is a copy but a needed copy
for abnormal edges.

Note the reduced testcase is missing an optimization but that is already filed
as PR 32810.


-- 


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[michelin60 at gmail dot com]

------- Comment #11 from michelin60 at gmail dot com  2007-07-23 23:17 -------
Very interesting

Using a colleague's i686 machine vfprintf.c did not fail with recent gcc-4.3.
This led to further research prompting not only the CC's but also the quote. 

Dr. Edelsohn metioned triage but there are no triage officers in the MAINTERNER
list. Also it might be useful to spell out the rights of submitters. It might
discourage submissions which are quite onerous to conform to the already stated
requirements.

>From his webpage Mr. Berlin is a lawyer specializing in intellectual property
and is also an author. He might want to provide some legal advice on conflicts
of interest.

The quote is specific to glibc and AIX. Potentially the AIX  contortions forced
upon glibc by Dr. Edelsohn could have caused the specific problem reported, not
affecting i686. 

As an aside the officers of kernel.org (Torvalds, Morton) spell out quite
clearly how they are not liable to any interpretation of conflict of interest.



-- 

michelin60 at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dje at watson dot ibm dot
                   |                            |com


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2007-07-23 23:29 -------
> Using a colleague's i686 machine vfprintf.c did not fail with recent gcc-4.3.
> This led to further research prompting not only the CC's but also the quote. 

If it does not fail on i686 with the non preprocessed source does not mean it
is a target specific bug.  The quote is offtopic really.

>Dr. Edelsohn metioned triage but there are no triage officers in the MAINTERNER
list. 
Right because I am the unofficial bug maintainer :).

With response to the glibc issue, Uli is the one who is holding glibc hositage
anyways.

Anyways, to make this bug cleaner, I am going to close this bug and I opened a
new one as PR 32873. 


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dje at watson dot ibm dot   |
                   |com                         |


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

[Bug tree-optimization/32865] [4.3 Regression] glibc ICE's gcc-4.3.0 SSA corruption

[pinskia at gcc dot gnu dot org]

------- Comment #13 from pinskia at gcc dot gnu dot org  2007-07-23 23:30 -------
As mentioned before closing this bug.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


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