[Bug middle-end/27132] Fold does not canonicalize i - -1

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-04-12 12:53 -------
Testcase:

/* { dg-do compile } */
/* { dg-options "-fdump-tree-gimple" } */

int foo(int i)
{
  return i - -1;
}

/* { dg-final { scan-tree-dump "i \\+ 1" "gimple" } } */
/* { dg-final { cleanup-tree-dump "gimple" } } */


I have a patch.  But that conflicts with negate_expr_p - see
http://gcc.gnu.org/ml/gcc/2006-04/msg00063.html


-- 

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|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-12 12:53:29
               date|                            |


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