https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90377

--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> ---
Thanks. The unreduced file does not reproduce for me. But anyway, we warn for
things like

int a[1];
void f(int n){
  for(int i=0;i<n;++i) a[i+1]=0;
}

where we just don't know that the branch n!=0 is dead. I have no idea what can
be done about that...

Reply via email to