https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117307
--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---
```
int a;
float *b, *c;
float d;
void e() {
for (; a; a++) {
if (d) {
c[0] = b[0];
c[1] = b[1];
} else if (b[1])
c[0] = b[0] * 0;
b += 2;
c += 2;
}
}
```
