[Bug middle-end/127517] wrong code with _BitInt(127) and __builtin_mul_overflow at -O2

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

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #65670|0                           |1
        is obsolete|                            |

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 65677
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65677&action=edit
gcc17-pr127517.patch

Unfortunately it breaks ubsan/bitint*.c tests.
This should fix that.