[Bug tree-optimization/127345] [16/17 Regression] wrong code storing a signed _BitInt(N) struct since r16-4708

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

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Indeed that's not true.  The GIMPLE IL does not define "out-of-bound value in
the mode width" after V_C_E as UB.