https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86076
--- Comment #1 from Arseny Solokha <asolokha at gmx dot com> --- int __attribute__ ((noinline)) lv (int tm) { (void) tm; return 0; } void o7 (int uu) { while (uu < 1) while (uu != 0) { short int ca; ca = lv (0); (void) ca; ++uu; } lv (lv (0)); }