[Bug middle-end/125259] [16/17 Regression] ICE: verify_gimple failed: integral result type precision does not match field size of 'bit_field_ref'

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2026-05-10
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Applying pattern match.pd:5887, gimple-match-4.cc:8653
gimple_simplified to _6 = BIT_FIELD_REF <x_8(D), 32, 0>;



(simplify
  (view_convert (BIT_FIELD_REF@0 @1 @2 @3))
  (if (is_gimple_reg_type (type)
       && (!INTEGRAL_TYPE_P (type)
           || !INTEGRAL_TYPE_P (TREE_TYPE (@0))
           || (type_has_mode_precision_p (type)
               && type_has_mode_precision_p (TREE_TYPE (@0)))))
   (BIT_FIELD_REF:type @1 @2 @3)))