On 2/6/19 10:20 AM, Jakub Jelinek wrote:
On Wed, Feb 06, 2019 at 10:15:27AM -0700, Martin Sebor wrote:
-For C++, a function without return type always produces a diagnostic
-message, even when @option{-Wno-return-type} is specified. The only
-exceptions are @code{main} and functions defined in system headers.
+For C++, calling a non-@code{void} function other than @code{main} that flows
+off the end is undefined even if the value of the function is not used.
That is not true, the undefined behavior is not when calling such a function,
but only when it flows off the end. So, it is perfectly fine if you have:
int
foo (int x)
{
if (x > 10)
return 20;
}
and you only ever call foo with x > 10, or if you have:
int
bar ()
{
baz ();
}
and baz always throws, or never returns etc. So, if we try to clarify, we
should clarify it correctly.
Sigh. Was that jab really necessary?
The C++ standard says:
...flowing off the end of a function other than main (6.6.1)
results in undefined behavior.
It doesn't mention anything about calling the function so it seems
to me the text I added is no less correct or clear than that. I see
no point in going into unlikely corner cases that the standard itself
make provisions for.
Your new text talks about calling the function though, which might be read as
that
the UB is already when you call such a function.
The purpose of referring to calling the function is to clearly
distinguish the C++ undefined behavior from that in C. I see
absolutely no value in trying to carefully explain that it is
possible to call functions that forget to return a value without
running into undefined behavior.
Why don't you use the
standard wording instead, i.e.
"For C++, flowing off the end of a function other than @code{main} is
undefined even if the return value from the function is not used in the
caller."
or similar?
You just reversed the two subsentences:
calling a non-@code{void} function other than @code{main}
that flows off the end is undefined even if the value of the function
is not used.
vs
flowing off the end of a function other than @code{main} is
undefined even if the return value from the function is not used
in the caller.
But whatever. Attached is a change with the subsentences reversed.
Martin
gcc/ChangeLog:
* doc/invoke.texi (-Wreturn-type): Correct and expand.
Index: gcc/doc/invoke.texi
===================================================================
--- gcc/doc/invoke.texi (revision 268583)
+++ gcc/doc/invoke.texi (working copy)
@@ -5261,13 +5261,16 @@ without a value).
For C only, warn about a @code{return} statement with an expression in a
function whose return type is @code{void}, unless the expression type is
also @code{void}. As a GNU extension, the latter case is accepted
-without a warning unless @option{-Wpedantic} is used.
+without a warning unless @option{-Wpedantic} is used. Attempting
+to use the return value of a non-@code{void} function other than @code{main}
+that flows off the end by reaching the closing curly brace that terminates
+the function is undefined.
-For C++, a function without return type always produces a diagnostic
-message, even when @option{-Wno-return-type} is specified. The only
-exceptions are @code{main} and functions defined in system headers.
+Unlike in C, in C++, flowing off the end of a non-@code{void} function other
+than @code{main} results in undefined behavior even when the value of
+the function is not used.
-This warning is enabled by default for C++ and is enabled by @option{-Wall}.
+This warning is enabled by default in C++ and by @option{-Wall} otherwise.
@item -Wshift-count-negative
@opindex Wshift-count-negative
