https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68755
ktkachov at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ktkachov at gcc dot gnu.org --- Comment #4 from ktkachov at gcc dot gnu.org --- (In reply to Markus Trippelsdorf from comment #3) > (In reply to H.J. Lu from comment #2) > > (In reply to Zhendong Su from comment #0) > > > > > > int > > > main () > > > { > > > char e[5]; > > ^^^^ > > > for (; c < 5; c++) > > > { > > > while (a) > > > { > > > b = d; > > > if (e[8000]) > > ^^^^^^^^^ Is this valid C code? > > No, it isn't. but the e[8000] is inside the "while (a)" loop and should not be reachable since 'a' is always 0?