https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123152
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---
Simpler:
```
char b;
int c(char *d) {
int *a = 0;
while (*d) {
while (*a)
if (*a++ == 1)
return 1;
d++;
}
}
void e() {
c(&b);
char *f = &b;
while (f[0])
++b;
}
```
