[Bug c/43661] New: ice in fold_comparison, at fold-const.c:9579

[Bug c/43661] New: ice in fold_comparison, at fold-const.c:9579

[regehr at cs dot utah dot edu]

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

regehr@john-home:~/volatile/bugs/tmp310$ current-gcc -Os small.c -c
small.c: In function ‘func’:
small.c:10:6: internal compiler error: in fold_comparison, at fold-const.c:9579
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

regehr@john-home:~/volatile/bugs/tmp310$ cat small.c

void
func (int *p_51)
{
  int l_174 = 0;
  l_174 |=
    0 ? (unsigned short) (0 ? : 1 *
                          (signed char) (*p_51
                                         ^
                                         *p_51)
                          >= 0) : *p_51 < *p_51 > *p_51 < 1;
}

regehr@john-home:~/volatile/bugs/tmp310$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r157975-install/libexec/gcc/i686-pc-linux-gnu/4.5.0/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r157975-install
--program-prefix=r157975- --enable-languages=c,c++
Thread model: posix
gcc version 4.5.0 20100406 (experimental) (GCC)


-- 
           Summary: ice in fold_comparison, at fold-const.c:9579
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: regehr at cs dot utah dot edu
 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=43661

[Bug c/43661] [4.5 Regression] ice in fold_comparison, at fold-const.c:9579

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2010-04-06 08:02 -------
Caused by r145254.  Shorter testcase:
int
func (int x)
{
  return 0 ? (unsigned short) (0 ? : 1 * (signed char) (x ^ x) >= 0) : 1;
}


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ice in fold_comparison, at  |[4.5 Regression] ice in
                   |fold-const.c:9579           |fold_comparison, at fold-
                   |                            |const.c:9579
   Target Milestone|---                         |4.5.0


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

[Bug c/43661] [4.5 Regression] ice in fold_comparison, at fold-const.c:9579

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-04-06 09:00 -------
These kind of asserts are really bogus ...

Well.  We have an unfolded tree.


-- 

rguenth 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         |2010-04-06 09:00:32
               date|                            |


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

[Bug c/43661] [4.5 Regression] ice in fold_comparison, at fold-const.c:9579

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-04-06 09:10 -------
I have a fix for the ICE.


-- 

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|2010-04-06 09:00:32         |2010-04-06 09:10:53
               date|                            |


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

[Bug c/43661] [4.5 Regression] ice in fold_comparison, at fold-const.c:9579

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-04-06 10:37 -------
Subject: Bug 43661

Author: rguenth
Date: Tue Apr  6 10:36:57 2010
New Revision: 157984

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

        PR middle-end/43661
        * fold-const.c (fold_comparison): Handle X * 0 CMP 0.

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

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr43661.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/43661] [4.5 Regression] ice in fold_comparison, at fold-const.c:9579

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-04-06 10:47 -------
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=43661