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?
