Implicit int return value of C function

From the '89 standard as quoted in the new testament:

Flowing off the end of a function is equivalent to a return with no expression. In either case, the return value is undefined.

That standard usually expresses the on-the-ground behavior of pre-existing implementations.

Such a thing is possible, but only under the assumption that the return value of the function is never used. The C11 standard says in para 6.9.1:

If the } that terminates a function is reached, and the value of the function call is used by the caller, the behavior is undefined.

(AFAIR previous version of the standard had similar wording)

So it would be a good idea to transform all the functions of that sort that you have to void functions, so no user of such a function could be tempted to use the return value.

The return statement is never mandatory at the end of a function, even if the function return type is not void. No diagnostic is required and it is not undefined behavior.

Example (defined behavior):

int foo(void)
{
}

int main()
{
    foo();
}

But reading the return value of foo is undefined behavior:

int bla = foo();  // undefined behavior

From the C Standard:

(C99, 6.9.1 on p.12) "If the } that terminates a function is reached, and the value of the function call is used by the caller, the behavior is undefined."

The main function is an exception to this rule as if the } is reached in main it is equivalent as if there was a return 0; statement.

(C99 draft, 5.1.2.2.3 on p.13) ...reaching the } that terminates the main function returns a value of 0.

That's simply undefined behaviour; if you don't populate the return area (which for example is generally eax/rax on x86 family processors), it'll have the value last set up through some side-effect in your function.

See Is a return statement mandatory for C++ functions that do not return void? which is basically a duplicate of this question (except that it's tagged as C++).

If the return statements consistently do not return a value, the function is best converted to, and declared as, returning void:

void myfunction(...)
{
    ...
    return;
    ...
}

If there are some some return expr; and some return; statements in the function, then you need to decide which is the better behaviour, and make them consistent — either always return a value and leave the type as int or never return a value and change the type to void.

Note that you'll need to declare functions modified to return void (in a header, unless they are — or should be — static and hidden in a single source file) since the default return type (assumed return type) of int is no longer valid.

Implicit int return value of C function

Related

Recent Posts