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...