https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715
--- Comment #5 from ktkachov at gcc dot gnu.org --- Another testcase: int a, b, c, d, f, g; int e[1], h[1]; void fn2 (); void fn3 (); void fn1 () { fn2 (); b = 0; for (; b < 10; b++) ; } void fn2 () { if (a) { fn3 (); c = d; } } void fn3 () { for (; g; g++) e[g] = 2; if (f) for (; g; g++) h[g] = 5; }