[Bug c/34989] New: ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[Bug c/34989] New: ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[aldot at gcc dot gnu dot org]

/there.pentium4/build_i686/staging_dir/usr/bin/i686-linux-uclibc-gcc -Os -pipe
-fno-tree-loop-optimize -fno-tree-dominator-opts -fno-strength-reduce
-fno-branch-count-reg -fno-builtin -fstack-protector -fstack-protector-all
-mtune=pentium4 -march=pentium4  -Wstack-protector --combine -funit-at-a-time
-Wno-error -std=gnu99 -o busybox_unstripped syslogd.i xregcomp.i 
xregcomp.i: In function 'syslogd_main':
xregcomp.i:9926: internal compiler error: in get_addr_dereference_operands, at
tree-ssa-operands.c:1698
Please submit a full bug report,


$ /there.pentium4/build_i686/staging_dir/usr/bin/i686-linux-uclibc-gcc -v
Using built-in specs.
Target: i686-linux-uclibc
Configured with: /there.pentium4/toolchain_build_i686/gcc-4.3.0/configure
--prefix=/usr --build=i386-pc-linux-gnu --host=i386-pc-linux-gnu
--target=i686-linux-uclibc --enable-languages=c,fortran
--with-sysroot=/there.pentium4/build_i686/staging_dir
--with-build-time-tools=/there.pentium4/build_i686/staging_dir/usr/i686-linux-uclibc/bin
--disable-__cxa_atexit --enable-target-optspace --with-gnu-ld --enable-shared
--with-gmp=/there.pentium4/toolchain_build_i686/gmp
--with-mpfr=/there.pentium4/toolchain_build_i686/mpfr --disable-nls
--enable-threads --disable-multilib --with-arch=pentium4 --with-tune=pentium4
--disable-libgomp
Thread model: posix
gcc version 4.3.0 20080127 (experimental) (GCC)


-- 
           Summary: ICE in in get_addr_dereference_operands, at tree-ssa-
                    operands.c:1698
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aldot at gcc dot gnu dot org


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

[Bug c/34989] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[aldot at gcc dot gnu dot org]

------- Comment #1 from aldot at gcc dot gnu dot org  2008-01-27 17:24 -------
Created an attachment (id=15028)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15028&action=view)
file 1


-- 


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

[Bug middle-end/34989] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[aldot at gcc dot gnu dot org]

------- Comment #2 from aldot at gcc dot gnu dot org  2008-01-27 17:24 -------
Created an attachment (id=15029)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15029&action=view)
file2


-- 


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[aldot at gcc dot gnu dot org]

------- Comment #3 from aldot at gcc dot gnu dot org  2008-01-27 17:26 -------
Works fine with
gcc (GCC) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)

And did work with trunk until recently (at least end of december, IIRC)


-- 

aldot at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.3.0
      Known to work|                            |4.1.2
            Summary|ICE in in                   |[4.3 Regression] ICE in in
                   |get_addr_dereference_operand|get_addr_dereference_operand
                   |s, at tree-ssa-             |s, at tree-ssa-
                   |operands.c:1698             |operands.c:1698


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2008-01-27 17:40 -------
Reducing, the order for the files matter.


-- 


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-01-27 18:00 -------
Yet another IMA bug.  P2.  Does 4.2 work?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[4.3 Regression] ICE in in  |[4.3 Regression] ICE in in
                   |get_addr_dereference_operand|get_addr_dereference_operand
                   |s, at tree-ssa-             |s, at tree-ssa-
                   |operands.c:1698             |operands.c:1698 with IMA
   Target Milestone|---                         |4.3.0


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2008-01-27 18:05 -------
First file:
extern struct globals *const ptr_to_globals;
struct globals { };
int syslogd_main(int argc, char **argv)
{
 (*(struct globals**)&ptr_to_globals) = 0;
}
----- CUT -----

Second file:
extern struct globals *const ptr_to_globals;


---- CUT -----
-O2 is enough to reproduce this.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-27 18:05:06
               date|                            |


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[aldot at gcc dot gnu dot org]

------- Comment #7 from aldot at gcc dot gnu dot org  2008-01-27 18:10 -------
original and reduced testcases work with 4.2:

$ gcc-4.2 -O2 -c -o bazoo.o one.i two.i -combine ; echo $?
0
$ gcc-4.2 -O2 -c -o bazoo.o syslogd.i xregcomp.i -combine ; echo $?
0
$ gcc-4.2 --version | sed 1q
gcc-4.2 (GCC) 4.2.3 20071123 (prerelease) (Debian 4.2.2-4)


-- 

aldot at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.1.2                       |4.1.2 4.2.3
           Priority|P2                          |P3
   Target Milestone|4.3.0                       |---


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

[Bug middle-end/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2008-01-27 18:16 -------
(gdb) p debug_generic_expr (stmt)
*(struct globals * *) &ptr_to_globals = 0B

Well that is obviously not valid gimple.

tree-ssa-forwprop.c is causing it:
#10 0x00550bff in mark_symbols_for_renaming (stmt=0x43497060) at
/Users/apinski/src/local/gcc/gcc/tree-dfa.c:827
#11 0x00646f45 in tidy_after_forward_propagate_addr (stmt=0x43497060) at
/Users/apinski/src/local/gcc/gcc/tree-ssa-forwprop.c:468
#12 0x00648069 in forward_propagate_addr_expr_1 (name=0x4348dfc0,
def_rhs=0x43497000, use_stmt=0x43497060, single_use_p=1 '\001') at
/Users/apinski/src/local/gcc/gcc/tree-ssa-forwprop.c:566
#13 0x006495b2 in forward_propagate_addr_expr (name=0x4348dfc0, rhs=0x43497000)
at /Users/apinski/src/local/gcc/gcc/tree-ssa-forwprop.c:709
#14 0x0064dce6 in tree_ssa_forward_propagate_single_use_vars () at
/Users/apinski/src/local/gcc/gcc/tree-ssa-forwprop.c:971


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
          Component|middle-end                  |tree-optimization


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-02-04 13:44 -------
Mine.  I have a patch that fixes this, but lets queue this for 4.3.1 instead.


-- 

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|2008-01-27 18:05:06         |2008-02-04 13:44:45
               date|                            |


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2008-02-04 13:45 -------
Created an attachment (id=15092)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15092&action=view)
queued forwprop cleanup


-- 


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2008-02-19 11:56 -------
Subject: Bug 34989

Author: rguenth
Date: Tue Feb 19 11:55:29 2008
New Revision: 132429

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132429
Log:
2008-02-19  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34989
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Re-structure.
        Allow propagation to INDIRECT_REF if we can simplify only.

        * gcc.dg/pr34989-1.c: New testcase.
        * gcc.dg/pr34989-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/pr34989-1.c
    trunk/gcc/testsuite/gcc.dg/pr34989-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c


-- 


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2008-02-19 11:56 -------
Fixed on the trunk.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.1.2 4.2.3                 |4.1.2 4.2.3 4.4.0


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2008-03-14 16:34 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.3.0                       |4.3.1


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

[Bug tree-optimization/34989] [4.3 Regression] ICE in get_addr_dereference_operands, at tree-ssa-operands.c:1698 with IMA

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2008-03-14 16:34 -------
Subject: Bug 34989

Author: rguenth
Date: Fri Mar 14 16:34:11 2008
New Revision: 133221

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133221
Log:
2008-03-14  Richard Guenther  <rguenther@suse.de>

        Backport from mainline:
        2008-02-19  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/34989
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
        * Re-structure.
        Allow propagation to INDIRECT_REF if we can simplify only.

        * gcc.dg/pr34989-1.c: New testcase.
        * gcc.dg/pr34989-2.c: Likewise.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr34989-1.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr34989-2.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-ssa-forwprop.c


-- 


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