[Bug tree-optimization/96370] ice with -ffast-math

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96370

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
             Status|UNCONFIRMED                 |ASSIGNED
            Version|unknown                     |11.0
   Last reconfirmed|                            |2020-07-30
           Keywords|                            |ice-on-valid-code
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

#1  0x0000000000e1d0d9 in gimple_build_assign_1 (lhs=
    <ssa_name 0x7ffff6574f30 6>, subcode=NEGATE_EXPR, 
    op1=<ssa_name 0x7ffff6574d80 3>, op2=<ssa_name 0x7ffff6574d80 3>, 
    op3=<tree 0x0>) at ../../src/test/gcc/gimple.c:455
455           gcc_assert (num_ops > 2);

#3  0x00000000016294ee in rewrite_expr_tree (
    stmt=<gimple_assign 0x7ffff66adaa0>, opindex=1, ops=..., changed=true, 
    next_changed=false) at ../../src/test/gcc/tree-ssa-reassoc.c:4963
4963                    = gimple_build_assign (lhs, gimple_assign_rhs_code
(stmt),
(gdb) l
4958                {
4959                  gimple *insert_point
4960                    = find_insert_point (stmt, oe1->op, oe2->op);
4961                  lhs = make_ssa_name (TREE_TYPE (lhs));
4962                  stmt
4963                    = gimple_build_assign (lhs, gimple_assign_rhs_code
(stmt),
4964                                           oe1->op, oe2->op);

so the rhs code is a negate while we expect sth else.  I will have a look.