[Bug tree-optimization/32482] New: [i386] ICE verify_ssa failed

[Bug tree-optimization/32482] New: [i386] ICE verify_ssa failed

[mstein at phenix dot rootshell dot be]

Hello,
there seems to be a problem compiling the attached source file with
i686-pc-linux-gnu-gcc:

  gcc -m32 -Wp,-MD,mm/.slab.o.d  -nostdinc -isystem
/home/mstein/host-gcc/trunk-2007-06-24/bin/../lib/gcc/i686-pc-linux-gnu/4.3.0/include
-D__KERNEL__ -Iinclude  -include include/linux/autoconf.h -Wall -Wundef
-Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common -Os -pipe
-msoft-float -mregparm=3 -mpreferred-stack-boundary=2  -march=i686
-mtune=generic -ffreestanding -maccumulate-outgoing-args -DCONFIG_AS_CFI=1 
-Iinclude/asm-i386/mach-default -fno-omit-frame-pointer
-fno-optimize-sibling-calls -g  -fno-stack-protector
-Wdeclaration-after-statement -Wno-pointer-sign    -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(slab)"  -D"KBUILD_MODNAME=KBUILD_STR(slab)" -c -o
mm/.tmp_slab.o mm/slab.c

mm/slab.c: In function '__cache_shrink':
mm/slab.c:2476: error: expected an SSA_NAME object
mm/slab.c:2476: error: in statement
# VUSE <SFT.1676> { SFT.1676 }
D.24655_100 = node_online_map.bits[0];
mm/slab.c:2476: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

host gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /home/mstein/svn/trunk/configure --enable-languages=c
--disable-nls --prefix=/n/07/mstein/host-gcc/trunk-2007-06-24
Thread model: posix
gcc version 4.3.0 20070623 (experimental)

Tested revion: 125975


-- 
           Summary: [i386] ICE verify_ssa failed
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mstein at phenix dot rootshell dot be
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/32482] [i386] ICE verify_ssa failed

[mstein at phenix dot rootshell dot be]

------- Comment #1 from mstein at phenix dot rootshell dot be  2007-06-24 12:07 -------
Created an attachment (id=13777)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13777&action=view)
preprocessed source file


-- 


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

[Bug tree-optimization/32482] [i386] ICE verify_ssa failed

[mstein at phenix dot rootshell dot be]

------- Comment #2 from mstein at phenix dot rootshell dot be  2007-07-01 12:45 -------
Created an attachment (id=13814)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13814&action=view)
preprocessed source file from linux-2.6.20, delta-reduced


-- 


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

[Bug tree-optimization/32482] [i386] ICE verify_ssa failed

[renard at nospam dot dk]

------- Comment #3 from renard at nospam dot dk  2007-07-03 10:59 -------
I get what I think is the exact same problem:

mm/slab.c:2243: error: expected an SSA_NAME object
mm/slab.c:2243: error: in statement
# VUSE <SFT.956> { SFT.956 }
D.17707_131 = node_online_map.bits[0];
mm/slab.c:2243: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

gcc -v
Using built-in specs.
Target: vax-linux-uclibc
Configured with:
/home/mikkel/linux-vax/build/build-20070702-163607-UTC-vax-linux-uclibc/src/gcc/configure
--disable-multilib --with-newlib --disable-nls --enable-threads=no
--disable-threads --enable-symvers=gnu --enable-__cxa_atexit --disable-shared
--target=vax-linux-uclibc
--prefix=/home/mikkel/linux-vax/build/build-20070702-163607-UTC-vax-linux-uclibc/install/usr
--enable-languages=c,c++
Thread model: single
gcc version 4.3.0 20070702 (experimental)

The source is definitely available, but as it's the same file (although from
another version of the Linux kernel) as that of the original bug reporter it
seems to be of little use.


-- 

renard at nospam dot dk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |renard at nospam dot dk


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

[Bug tree-optimization/32482] [4.3 Regression] ICE verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-07-03 12:00 -------
Mine.


-- 

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|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2007-07-03 12:00:26
               date|                            |
            Summary|[i386] ICE verify_ssa failed|[4.3 Regression] ICE
                   |                            |verify_ssa failed
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32482] [4.3 Regression] ICE verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2007-07-04 11:45 -------
Subject: Bug 32482

Author: rguenth
Date: Wed Jul  4 11:44:58 2007
New Revision: 126314

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126314
Log:
2007-07-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/32482
        * tree-ssa-ifcombine.c (recognize_single_bit_test): Use the
        original ssa name if we didn't find a shift expression.
        Fix shift constant for bit zero test.

        * gcc.c-torture/compile/pr32482.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr32482.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ifcombine.c


-- 


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

[Bug tree-optimization/32482] [4.3 Regression] ICE verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-07-04 11:46 -------
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=32482