[Bug tree-optimization/108582] [13 Regression] ICE on valid code at -Os and above with "-fno-tree-ccp -fno-tree-dce": tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in useless_type_conversion_p, at gimple-expr.cc:87

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|unknown                     |13.0
     Ever confirmed|0                           |1
            Summary|ICE on valid code at -Os    |[13 Regression] ICE on
                   |and above with              |valid code at -Os and above
                   |"-fno-tree-ccp              |with "-fno-tree-ccp
                   |-fno-tree-dce": tree check: |-fno-tree-dce": tree check:
                   |expected class ‘type’, have |expected class ‘type’, have
                   |‘exceptional’ (error_mark)  |‘exceptional’ (error_mark)
                   |in                          |in
                   |useless_type_conversion_p,  |useless_type_conversion_p,
                   |at gimple-expr.cc:87        |at gimple-expr.cc:87
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |13.0
   Last reconfirmed|                            |2023-01-28

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
#5  0x000000000162e9cc in verify_gimple_assign (stmt=0x7ffff741c2c0) at
/home/apinski/src/upstream-gcc/gcc/gcc/tree-cfg.cc:4829
4829          return verify_gimple_assign_binary (stmt);
(gdb) p debug_gimple_stmt(stmt)
_4 = _13 & _28;

#4  0x000000000162c6b7 in verify_gimple_assign_binary (stmt=0x7ffff741c2c0) at
/home/apinski/src/upstream-gcc/gcc/gcc/tree-cfg.cc:4292
4292      if (!useless_type_conversion_p (lhs_type, rhs1_type)
(gdb) p debug_generic_expr(lhs_type)
int
$2 = void
(gdb) p debug_generic_expr(rhs1_type)
<<< error >>>
$3 = void