[Bug tree-optimization/32169] New: Ice in set_value_range, at tree-vrp.c:326

[Bug tree-optimization/32169] New: Ice in set_value_range, at tree-vrp.c:326

[mstein at phenix dot rootshell dot be]

Hello,
I get an ICE when compiling linux-2.6.20 with a host-gcc from today's
trunk.

gcc -m32 -Wp,-MD,sound/usb/.usbaudio.o.d  -nostdinc -isystem
/home/mstein/host-gcc/pointer_plus-2007-05-31/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   -DMODULE -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(usbaudio)" 
-D"KBUILD_MODNAME=KBUILD_STR(snd_usb_audio)" -c -o sound/usb/.tmp_usbaudio.o
sound/usb/usbaudio.c -save-temps
gcc: warning: -pipe ignored because -save-temps specified
sound/usb/usbaudio.c: In function 'prepare_startup_playback_urb':
sound/usb/usbaudio.c:503: internal compiler error: in set_value_range, at
tree-vrp.c:326


-- 
           Summary: Ice in set_value_range, at tree-vrp.c:326
           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 target triplet: i686-gnu-linux


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

[Bug tree-optimization/32169] Ice in set_value_range, at tree-vrp.c:326

[mstein at phenix dot rootshell dot be]

------- Comment #1 from mstein at phenix dot rootshell dot be  2007-05-31 18:59 -------
Created an attachment (id=13640)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13640&action=view)
from linux-2.6.20


-- 


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-06-06 21:56 -------
Reducing ...


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ian at gcc dot gnu dot org
           Severity|normal                      |blocker
           Keywords|                            |ice-on-valid-code
            Summary|Ice in set_value_range, at  |[4.3 Regression] Ice in
                   |tree-vrp.c:326              |set_value_range, at tree-
                   |                            |vrp.c:326
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-06-06 23:04 -------
Reduced testcase, I cannot remove the inline function for some reason:
void f(char);
static inline
void * __memset_generic(char c)
{
  f(c);
}
int prepare_startup_playback_urb(
     int b,
     int c
)
{
  char d;
  if (b)
    __memset_generic(c == ( 1) ? 0x80 : 0);
  else
    __memset_generic (c == ( 1) ? 0x80 : 0);
}


-- 

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         |2007-06-06 23:04:14
               date|                            |


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[ian at airs dot com]

------- Comment #4 from ian at airs dot com  2007-06-08 17:57 -------
I'm testing this patch.

Index: tree-vrp.c
===================================================================
--- tree-vrp.c  (revision 125521)
+++ tree-vrp.c  (working copy)
@@ -2208,6 +2208,8 @@ extract_range_from_unary_expr (value_ran
              && is_gimple_val (new_max)
              && tree_int_cst_equal (new_min, orig_min)
              && tree_int_cst_equal (new_max, orig_max)
+             && (!is_overflow_infinity (new_min)
+                 || !is_overflow_infinity (new_max))
              && (cmp = compare_values (new_min, new_max)) <= 0
              && cmp >= -1)


-- 

ian at airs dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ian at gcc dot gnu dot org  |ian at airs dot com
   Last reconfirmed|2007-06-06 23:04:14         |2007-06-08 17:57:04
               date|                            |


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[ian at gcc dot gnu dot org]

------- Comment #5 from ian at gcc dot gnu dot org  2007-06-09 16:28 -------
Subject: Bug 32169

Author: ian
Date: Sat Jun  9 16:28:31 2007
New Revision: 125591

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125591
Log:
./:
        PR tree-optimization/32169
        * tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
        CONVERT_EXPR, check whether min and max both converted to an
        overflow infinity representation.
testsuite/:
        PR tree-optimization/32169
        * gcc.c-torture/compile/pr32169.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr32169.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[ian at gcc dot gnu dot org]

------- Comment #6 from ian at gcc dot gnu dot org  2007-06-09 16:31 -------
Subject: Bug 32169

Author: ian
Date: Sat Jun  9 16:31:11 2007
New Revision: 125592

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125592
Log:
./:
        PR tree-optimization/32169
        * tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
        CONVERT_EXPR, check whether min and max both converted to an
        overflow infinity representation.
testsuite/:
        PR tree-optimization/32169
        * gcc.c-torture/compile/pr32169.c: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/compile/pr32169.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_2-branch/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/32169] [4.3 Regression] Ice in set_value_range, at tree-vrp.c:326

[ian at airs dot com]

------- Comment #7 from ian at airs dot com  2007-06-09 16:35 -------
Fixed.  Thanks for reporting it.


-- 

ian at airs dot com changed:

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


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