https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97578
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- Here is a second simpler test case: int a; static void b(int c) { if (a) while (c) b(0); d(); } void e(c) { b(c); } void f() { e(0); }