https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116690
Xi Ruoyao <xry111 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |xry111 at gcc dot gnu.org
--- Comment #7 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
Note that in the red banner of "new bug" page:
> Before reporting that GCC compiles your code incorrectly, compile it with gcc
> -Wall -Wextra and see whether this shows anything wrong with your code.
In this case -Wall enables -Wreturn-type, and -Wreturn-type clearly shows the
code is wrong.
Please just listen to the red banner the next time. It's statementing a truth,
and it's not some disclaimer only for formalism.
