https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113210
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Better/slightly more reduced testcase: ``` unsigned char a, c; unsigned short b; void d() { c = a - 1; b = c; while (++b > 256) ; } ```