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

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Artemiy Volkov from comment #4)
> This should have been prevented by the `type_has_mode_precision_p (type)`
> check, but the execution doesn't get to it, as the earlier `!INTEGRAL_TYPE_P
> (TREE_TYPE (@0))` yields true, since @0 is of type V4QI.

       && (!INTEGRAL_TYPE_P (type)
           || !INTEGRAL_TYPE_P (TREE_TYPE (@0))
           || (type_has_mode_precision_p (type)
               && type_has_mode_precision_p (TREE_TYPE (@0)))))

should probably be

       && (!INTEGRAL_TYPE_P (type)
           || type_has_mode_precision_p (type))
       && (!INTEGRAL_TYPE_P (TREE_TYPE (@0))
           || type_has_mode_precision_p (TREE_TYPE (@0))))