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));
}
