https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112941
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- And after the PR113024 changes, one needs -O1 -fno-tree-forwprop on: unsigned _BitInt(2049) foo (unsigned _BitInt(6384) x, _BitInt(8) y) { unsigned _BitInt(6384) z = y; return x * z; } _BitInt(2049) bar (unsigned _BitInt(6384) x, _BitInt(1023) y) { unsigned _BitInt(6384) z = y; return x * z; } to reproduce it.