https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95532
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Didn't you file the same for clz already?
The thing isthat at GIMPLE opts we include 32 in the range of possibly returned
values because it is a very common result for the 0 case and at RTL opts time
even know it will return 32 for 0, but the fact that it came up from a built
that was documented to have UB with zero value is lost there.
