http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54554
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
Blocks| |24639
--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-01-04
10:27:53 UTC ---
GCC should warn without optimization since the code is always executed. There
are several issue conflated here that prevent warning, but the most crucial is
that GCC does not know that the loop is always executed at least once.
