https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97223
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2020-09-28 Status|UNCONFIRMED |NEW Keywords| |easyhack --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- It works for 'unsigned char' but not for signed char (or signed short) which are promoted to 'int' and then shortened to unsigned arithmetic: return <retval> = (short int) ((unsigned short) x + 5) > x; there's existing patterns that would need to be amended for the extra conversion.