[Bug c/37663] New: ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[Bug c/37663] New: ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[regehr at cs dot utah dot edu]

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

Seen using r140721.

regehr@john-home:~/volatile/tmp45$ current-gcc -O3 small.c
small.c: In function ‘func_91’:
small.c:3: internal compiler error: in simplify_truth_ops_using_ranges, at
tree-vrp.c:6335
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

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

int func_99 (signed char p_100);
int
func_91 (int p_93)
{
  func_99 (1 >= p_93);
}

int
func_99 (signed char p_100)
{
  int l_102 = 0x8F9F05BBL;
  int l_108;
  p_100 = p_100 + (p_100 != l_102 * l_102) & -1;
  if (p_100)
    {
      if (func_50 (1, 1, func_50 (func_28 (1), l_108, 1, 1), 1))
        {
        }
    }
}

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

Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr : (reconfigured) ../configure
--program-prefix=current- --enable-languages=c,c++ --prefix=/home/regehr :
(reconfigured) ../configure --program-prefix=current- --enable-languages=c,c++
--prefix=/home/regehr : (reconfigured) ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion
Thread model: posix
gcc version 4.4.0 20080927 (experimental) (GCC)


-- 
           Summary: ice in simplify_truth_ops_using_ranges, at tree-
                    vrp.c:6335
           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=37663

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-09-28 18:23 -------
Reduced testcase:
int
func_99 (int p_100)
{
  p_100 = 1 >= p_100;
  int l_102 = -1885403717;
  int l_108;
  p_100 = p_100 + (p_100 != l_102 * l_102);
  if (p_100)
   func_50 ();
}


--- CUT ---
I think this comes down to TREE_OVERFLOW being set.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-09-28 18:23:24
               date|                            |
            Summary|ice in                      |[4.4 Regression] ice in
                   |simplify_truth_ops_using_ran|simplify_truth_ops_using_ran
                   |ges, at tree-vrp.c:6335     |ges, at tree-vrp.c:6335
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-09-28 18:23:24         |2008-09-30 12:30:09
               date|                            |


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2008-09-30 17:02 -------
Subject: Bug 37663

Author: jakub
Date: Tue Sep 30 17:00:49 2008
New Revision: 140792

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140792
Log:
        PR tree-optimization/37662
        PR tree-optimization/37663
        * tree-vrp.c (simplify_truth_ops_using_ranges): Don't call
        get_value_range with non-SSA_NAME.  Don't assert operands have been
        folded, instead just bail out.

        * gcc.c-torture/compile/pr37662.c: New test.
        * gcc.dg/pr37663.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37662.c
    trunk/gcc/testsuite/gcc.dg/pr37663.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2008-09-30 17:03 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[eric dot weddington at atmel dot com]

------- Comment #4 from eric dot weddington at atmel dot com  2008-10-28 19:56 -------
Reopening bug.
New test case gcc.dg/pr37663.c fails for AVR with:
/usr/local/avrdev/gcc/gcc/gcc/testsuite/gcc.dg/pr37663.c: In function 'foo':

/usr/local/avrdev/gcc/gcc/gcc/testsuite/gcc.dg/pr37663.c:11: warning: overflow
in implicit constant conversion


Line 11:
  int y = -1885403717;

This test case assumes that an int is 32 bits. An int is 16 bits on AVR.


-- 

eric dot weddington at atmel dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
 GCC target triplet|i686-pc-linux-gnu           |i686-pc-linux-gnu avr-*-*
         Resolution|FIXED                       |


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-10-28 20:07 -------
Subject: Bug 37663

Author: jakub
Date: Tue Oct 28 20:06:08 2008
New Revision: 141414

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141414
Log:
        PR tree-optimization/37663
        * gcc.dg/pr37663.c: Require int32plus.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/pr37663.c


-- 


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

[Bug tree-optimization/37663] [4.4 Regression] ice in simplify_truth_ops_using_ranges, at tree-vrp.c:6335

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2008-10-28 20:09 -------
Next time, please don't reopen the original PR.  Whether the test fails on avr
or not doesn't have anything to do with the fact that the original bug has been
fixed.  IMHO either open a new PR and link it to the original PR, or
(preferrably) just submit a patch to gcc-patches to modify the testcase.


-- 

jakub at gcc dot gnu dot org changed:

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


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