[Bug c/28814] New: ICE when compiling Stalin under 4.1 but not 4.0

[Bug c/28814] New: ICE when compiling Stalin under 4.1 but not 4.0

[gcc-bugzilla at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 7279 bytes --]



Stalin is a Scheme compiler that generates C code. Stalin is itself written in
C and can compile itself. I am preparing a new release of Stalin for Debian
Etch. This release compiles with earlier versions of gcc, such as gcc-4.0, but
not with gcc-4.1. It gives an ICE.

The preprocessed source is huge. I submitted an earlier bug report that
included the preprocessed source but apparently the email bounced. I am
resubmitting making the preprocessed source available on the web instead.
I would appreciate if someone from GCC/GNU can let me know when you have
downloaded the preprocessed source so that I can remove it from my web site.

Environment:
System: Linux chino 2.6.15-1-k7-smp #2 SMP Mon Mar 6 15:50:26 UTC 2006 i686
GNU/Linux
Architecture: i686


I am submitting this from a different machine than that which generated the
error because the latter has no email connection. Both run Debian Etch on
identical hardware.
host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v
--enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.0 --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-awt=gtk-default --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr
--disable-werror --with-tune=i686 --enable-checking=release i486-linux-gnu

How-To-Repeat:
qobi@ingqondo>gcc -v -save-temps -o stalin -I./include -O3 -fomit-frame-pointer
-fno-strict-aliasing -freg-struct-return stalin.c -L./include -lm -lgc
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,java,fortran,objc,obj-c++,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.1-1.4.2.0/jre --enable-mpfr
--with-tune=i686 --enable-checking=release i486-linux-gnu
Thread model: posix
gcc version 4.1.2 20060613 (prerelease) (Debian 4.1.1-5)
 /usr/lib/gcc/i486-linux-gnu/4.1.2/cc1 -E -quiet -v -I./include stalin.c
-mtune=i686 -fomit-frame-pointer -fno-strict-aliasing -freg-struct-return -O3
-fpch-preprocess -o stalin.i
ignoring nonexistent directory "/usr/local/include/i486-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/i486-linux-gnu/4.1.2/../../../../i486-linux-gnu/include"
ignoring nonexistent directory "/usr/include/i486-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:
 ./include
 /usr/local/include
 /usr/lib/gcc/i486-linux-gnu/4.1.2/include
 /usr/include
End of search list.
 /usr/lib/gcc/i486-linux-gnu/4.1.2/cc1 -fpreprocessed stalin.i -quiet -dumpbase
stalin.c -mtune=i686 -auxbase stalin -O3 -version -fomit-frame-pointer
-fno-strict-aliasing -freg-struct-return -o stalin.s
GNU C version 4.1.2 20060613 (prerelease) (Debian 4.1.1-5) (i486-linux-gnu)
       compiled by GNU C version 4.1.2 20060613 (prerelease) (Debian 4.1.1-5).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 3efbb0b5b3119ec825babd3e1cecb910
stalin.c: In function ‘f9226’:
stalin.c:369354: internal compiler error: in compare_values, at tree-vrp.c:415
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.1/README.Bugs>.
Preprocessed source stored into /tmp/ccYcxZDO.out file, please attach this to
your bugreport.
395.851u 3.338s 6:39.21 99.9%  0+0k 0+0io 0pf+0w
qobi@ingqondo>gcc-4.0 -v -save-temps -o stalin -I./include -O3
-fomit-frame-pointer -fno-strict-aliasing -freg-struct-return stalin.c
-L./include -lm -lgc
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.0 --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-awt=gtk-default --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr
--disable-werror --with-tune=i686 --enable-checking=release i486-linux-gnu
Thread model: posix
gcc version 4.0.4 20060507 (prerelease) (Debian 4.0.3-3)
 /usr/lib/gcc/i486-linux-gnu/4.0.4/cc1 -E -quiet -v -I./include stalin.c
-mtune=i686 -fomit-frame-pointer -fno-strict-aliasing -freg-struct-return -O3
-fpch-preprocess -o stalin.i
ignoring nonexistent directory "/usr/local/include/i486-linux-gnu"
ignoring nonexistent directory "/usr/include/i486-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:
 ./include
 /usr/local/include
 /usr/lib/gcc/i486-linux-gnu/4.0.4/include
 /usr/include
End of search list.
 /usr/lib/gcc/i486-linux-gnu/4.0.4/cc1 -fpreprocessed stalin.i -quiet -dumpbase
stalin.c -mtune=i686 -auxbase stalin -O3 -version -fomit-frame-pointer
-fno-strict-aliasing -freg-struct-return -o stalin.s
GNU C version 4.0.4 20060507 (prerelease) (Debian 4.0.3-3) (i486-linux-gnu)
  compiled by GNU C version 4.0.4 20060507 (prerelease) (Debian 4.0.3-3).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
 as -V -Qy --32 -o stalin.o stalin.s
GNU assembler version 2.17 (i486-linux-gnu) using BFD version 2.17 Debian
GNU/Linux
 /usr/lib/gcc/i486-linux-gnu/4.0.4/collect2 --eh-frame-hdr -m elf_i386
-dynamic-linker /lib/ld-linux.so.2 -o stalin
/usr/lib/gcc/i486-linux-gnu/4.0.4/../../../../lib/crt1.o
/usr/lib/gcc/i486-linux-gnu/4.0.4/../../../../lib/crti.o
/usr/lib/gcc/i486-linux-gnu/4.0.4/crtbegin.o -L./include
-L/usr/lib/gcc/i486-linux-gnu/4.0.4 -L/usr/lib/gcc/i486-linux-gnu/4.0.4
-L/usr/lib/gcc/i486-linux-gnu/4.0.4/../../../../lib
-L/usr/lib/gcc/i486-linux-gnu/4.0.4/../../.. -L/lib/../lib -L/usr/lib/../lib
stalin.o -lm -lgc -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc
--as-needed -lgcc_s --no-as-needed /usr/lib/gcc/i486-linux-gnu/4.0.4/crtend.o
/usr/lib/gcc/i486-linux-gnu/4.0.4/../../../../lib/crtn.o
216.368u 1.295s 3:37.80 99.9%        0+0k 0+0io 0pf+0w
qobi@ingqondo>

Because the preprocessor output is large, I have put it at
http://www.ece.purdue.edu/~qobi/ccYcxZDO.out
instead of including it in this email.


------- Comment #1 from qobi at purdue dot edu  2006-08-22 21:53 -------
Fix:

No known fix or workaround except to compile with an earlier version of gcc.


-- 
           Summary: ICE when compiling Stalin under 4.1 but not 4.0
           Product: gcc
           Version: 4.0.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: qobi at purdue dot edu
 GCC build triplet: i486-pc-linux-gnu
  GCC host triplet: i486-pc-linux-gnu
GCC target triplet: i486-pc-linux-gnu


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

[Bug tree-optimization/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[tbm at gcc dot gnu dot org]

------- Comment #2 from tbm at gcc dot gnu dot org  2006-08-23 07:05 -------
Confirmed.  Also happens with 4.2.


-- 

tbm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tbm at cyrius dot com
           Severity|critical                    |normal
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.0.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-23 07:05:53
               date|                            |
            Summary|ICE when compiling Stalin   |[4.1/4.2 regression] in
                   |under 4.1 but not 4.0       |compare_values, at tree-
                   |                            |vrp.c:415


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

[Bug tree-optimization/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-08-23 08:12 -------
Reducing.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.1.2


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

[Bug tree-optimization/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[tbm at gcc dot gnu dot org]

------- Comment #4 from tbm at gcc dot gnu dot org  2006-08-23 09:38 -------
Reduced testcase:

struct w49
{
  union
  {
  }
  value;
};
f9887 (struct w49 a23040)
{
  unsigned r9887;
  if (((struct structure_type24753 *) (r9887 - 1)) == ((void *) 0))
    {
      backtrace ("stalin.sc", 7222, 248274);
    }
}


-- 


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

[Bug tree-optimization/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2006-08-23 10:26 -------
We have mismatched types coming into

#4  0x086244c4 in vrp_evaluate_conditional (cond=0xb7d2b168, use_equiv_p=1
'\001') at /space/rguenther/src/svn/sse-revert/gcc/tree-vrp.c:3717
3717                return compare_name_with_value (TREE_CODE (cond), op0,
op1);
(gdb) call debug_tree (cond)
 <eq_expr 0xb7d2b168
    type <boolean_type 0xb7d364ac _Bool public unsigned QI
        size <integer_cst 0xb7d241f8 constant invariant 8>
        unit size <integer_cst 0xb7d24210 constant invariant 1>
        align 8 symtab 0 alias set -1 precision 1 min <integer_cst 0xb7d245e8
0> max <integer_cst 0xb7d24618 1>>

    arg 0 <ssa_name 0xb7dbb270
        type <integer_type 0xb7d362e0 unsigned int sizes-gimplified public
unsigned SI
            size <integer_cst 0xb7d243f0 constant invariant 32>
            unit size <integer_cst 0xb7d24180 constant invariant 4>
            align 32 symtab 0 alias set -1 precision 32 min <integer_cst
0xb7d24468 0> max <integer_cst 0xb7d24450 4294967295>>
        visited var <var_decl 0xb7d30108 r9887> def_stmt <nop_expr 0xb7db8240>
        version 1>
    arg 1 <integer_cst 0xb7d24d98 type <pointer_type 0xb7d368fc> constant
invariant 1>
    t.i:11>
#5  0x0821544f in fold_predicate_in (stmt=0xb7d330c8) at
/space/rguenther/src/svn/sse-revert/gcc/tree-ssa-propagate.c:1045
1045      val = vrp_evaluate_conditional (*pred_p, true);
(gdb) call debug_generic_expr (stmt)
if (r9887D.1606_1 == 1B) goto <L0>; else goto <L1>;

which fold produces here:

      /* If this is an EQ or NE comparison of a constant with a PLUS_EXPR or
         a MINUS_EXPR of a constant, we can convert it into a comparison with
         a revised constant as long as no overflow occurs.  */
      if (TREE_CODE (arg1) == INTEGER_CST
          && (TREE_CODE (arg0) == PLUS_EXPR
              || TREE_CODE (arg0) == MINUS_EXPR)
          && TREE_CODE (TREE_OPERAND (arg0, 1)) == INTEGER_CST
          && 0 != (tem = const_binop (TREE_CODE (arg0) == PLUS_EXPR
                                      ? MINUS_EXPR : PLUS_EXPR,
                                      arg1, TREE_OPERAND (arg0, 1), 0))
          && ! TREE_CONSTANT_OVERFLOW (tem))
        return fold_build2 (code, type, TREE_OPERAND (arg0, 0), tem);

tem is of pointer type, but arg0 is of type unsigned int.

I have a fix.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-08-23 07:05:53         |2006-08-23 10:26:04
               date|                            |


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

[Bug middle-end/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[patchapp at dberlin dot org]

------- Comment #6 from patchapp at dberlin dot org  2006-08-23 14:16 -------
Subject: Bug number PR28814

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-08/msg00830.html


-- 


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

[Bug middle-end/28814] [4.1/4.2 regression] in compare_values, at tree-vrp.c:415

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2006-08-25 22:01 -------
Subject: Bug 28814

Author: rguenth
Date: Fri Aug 25 22:01:28 2006
New Revision: 116439

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116439
Log:
2006-08-26  Richard Guenther  <rguenther@suse.de>

        PR middle-end/28814
        * fold-const.c (fold_binary): Fold temporary to correct
        type before constructing new comparison.

        * gcc.dg/torture/pr28814.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr28814.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/28814] [4.1 regression] in compare_values, at tree-vrp.c:415

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2006-08-25 22:02 -------
Fixed in 4.2.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.0.3                       |4.0.3 4.2.0
            Summary|[4.1/4.2 regression] in     |[4.1 regression] in
                   |compare_values, at tree-    |compare_values, at tree-
                   |vrp.c:415                   |vrp.c:415


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

[Bug middle-end/28814] [4.1 regression] in compare_values, at tree-vrp.c:415

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2006-09-01 21:49 -------
Subject: Bug 28814

Author: rguenth
Date: Fri Sep  1 21:49:05 2006
New Revision: 116642

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116642
Log:
2006-09-01  Richard Guenther  <rguenther@suse.de>

        Backport from mainline:
        PR middle-end/28814
        * fold-const.c (fold_binary): Fold temporary to correct
        type before constructing new comparison.

        * gcc.dg/torture/pr28814.c: New testcase.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr28814.c
      - copied unchanged from r116439,
trunk/gcc/testsuite/gcc.dg/torture/pr28814.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/fold-const.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/28814] [4.1 regression] in compare_values, at tree-vrp.c:415

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2006-09-01 21:49 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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