https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78788
--- Comment #4 from Matthias Klose <doko at gcc dot gnu.org> ---
$ cat ghosts.i
int a;
long b;
long c;
void d() {
int e = 0;
for (; b; b++)
if (c) {
e++;
e++;
}
while (e)
a = e -= 2;
}