Bug#158704: gcc: gcc compiles incorrect loop

[Carlos O'Donell <carlos@baldric.uwo.ca>]

> >The issue is a rather pedantic one. Should an error be generated
> >by the compiler indicating that 'return 0' can never be reached?
> 
> Not an error because the code is in fact correct, but a warning about 
> unreachable code would be nice.
> 
> Regards,
> Bart
> 

Originally this had appeared as a item in the 'Non-bugs' section  
of the gcc info documentation, stating that gcc would not introduce 
warnings for unreachable code. However, they have since removed this
from the info file.

File this as a feature request in GNATS. 

c.