https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92891
--- Comment #1 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C code:
int a, b;
int *c() __attribute__((alloc_size(1)));
void d() {
char *e = c(1);
while (a) {
if (b <= 0)
continue;
e[b] = 0;
}
}