[Bug tree-optimization/33134] New: [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[Bug tree-optimization/33134] New: [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[tbm at cyrius dot com]

I'm seeing the following ICE with current trunk.  This goes back at least
to 20070720.

(sid)25719:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O2 fox1.6-fxgifio.cc
fox1.6-fxgifio.cc: In function 'bool fxsaveGIF(FXStream&)':
fox1.6-fxgifio.cc:10: internal compiler error: in set_value_range, at
tree-vrp.c:326
Please submit a full bug report,
with preprocessed source if appropriate.


-- 
           Summary: [4.3 Regression] ICE in set_value_range, at tree-
                    vrp.c:325
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-08-21 10:23 -------
Testcase:

/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

class FXObject;
class FXStream
{
  public:FXStream (const FXObject *cont = __null);
  FXStream & operator<< (const unsigned char &v);
};

bool fxsaveGIF (FXStream &store)
{
  int bitsperpixel;
  unsigned char c1;
  c1 = 0x80;
  c1 |= (bitsperpixel - 1) << 4;
  store << c1;
}


-- 


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-08-21 12:09 -------
Confirmed.  Value numbering constant propagates

 c1 = 128;

to

 c1.1_6 = (signed char)c1;

and creates a constant with overflow flag set which confuses VRP signed
overflow
handling.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |iant at google dot com,
                   |                            |dberlin at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-08-21 12:09:29
               date|                            |


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[ian at airs dot com]

------- Comment #3 from ian at airs dot com  2007-08-21 13:59 -------
Index: gcc/tree-vrp.c
===================================================================
--- gcc/tree-vrp.c      (revision 127491)
Testing this patch.

+++ gcc/tree-vrp.c      (working copy)
@@ -2641,7 +2641,7 @@ adjust_range_with_scev (value_range_t *v
   /* Like in PR19590, scev can return a constant function.  */
   if (is_gimple_min_invariant (chrec))
     {
-      set_value_range (vr, VR_RANGE, chrec, chrec, vr->equiv);
+      set_value_range_to_value (vr, chrec, vr->equiv);
       return;
     }


-- 

ian at airs dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|iant at google dot com      |ian at airs dot com


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[tbm at cyrius dot com]

------- Comment #4 from tbm at cyrius dot com  2007-08-21 17:25 -------
better (C based) testcase:

/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

ui_create_cursor (unsigned char *andmask)
{
  unsigned char *cursor, *pcursor;
  unsigned char nextbit;

  for (nextbit = 0x80; nextbit != 0; nextbit >>= 1)
    *pcursor |= (~(*andmask) & nextbit);
}


-- 


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[ian at gcc dot gnu dot org]

------- Comment #5 from ian at gcc dot gnu dot org  2007-08-21 21:35 -------
Subject: Bug 33134

Author: ian
Date: Tue Aug 21 21:35:06 2007
New Revision: 127679

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127679
Log:
./:
        PR tree-optimization/33134
        * tree-vrp.c (adjust_range_with_scev): Call
        set_value_range_to_value.
testsuite/:
        PR tree-optimization/33134
        * g++.dg/tree-ssa/pr33134.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr33134.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[ian at airs dot com]

------- Comment #6 from ian at airs dot com  2007-08-21 21:44 -------
Fixed.


-- 

ian at airs dot com changed:

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


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

[Bug tree-optimization/33134] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:325

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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