https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126257
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[16/17 Regression] wrong |[16/17 Regression] wrong
|code at -O2/3 with |code at -O2/3 with
|_BitInt(2) |_BitInt(2) since r16-5324
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r16-5324-gbeba09b5c5a2f4ec4e75e5f6d3dd1e2494b04a2b
But perhaps latent before, whatever decided to turn that -1 + -1 into -1 * -2
is at fault, 2 is not representable in _BitInt(2) or int:2 type.
