https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115996
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---
With the following, it warns with -O0 and -O1, just not -O2, so we're back to
the general optimiser-analyser ordering problem:
```
int foo() {
int i = 0;
while(foo) {
i++;
}
}
```
