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.