[Bug tree-optimization/20490] [4.0 Regression] ICE: verify_stmts failed. (with -O -ftree-pre)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-16 02:17 -------
Confirmed, this is 4.1 regression.

Before in 4.0, we got:
  pretmp.2_11 = x_4 * -1;

But after the patch to fold that to - x_4, we get:
  pretmp.2_11 = (int) -x_4;

The problem is that the type for x_4 is gint so we need a NOP_EXPR so we get the correct types (there is 
a fold_convert in fold).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org, pinskia at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-03-16 02:17:17
               date|                            |
            Summary|ICE: verify_stmts failed.   |[4.0 Regression] ICE:
                   |(with -O -ftree-pre)        |verify_stmts failed. (with -
                   |                            |O -ftree-pre)
   Target Milestone|---                         |4.1.0


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