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

Reply via email to