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; } }