12

As expected, the compiler (VisualStudio 2008) will give a warning

warning C4715: 'doSomethingWith' : not all control paths return a value

when compiling the following code:

int doSomethingWith(int value)
{
    int returnValue = 3;
    bool condition = false;

    if(condition)
        // returnValue += value; // DOH

    return returnValue;
}

int main(int argc, char* argv[])
{
    int foo = 10;
    int result = doSomethingWith(foo);
    return 0;
}

But the program runs just fine. The return value of function doSomethingWith() is 0.

Is is just undefined behavior, or is there a certain rule how the result value is created/computed at runtime. What happens with non-POD datatypes as return value?

2

4 Answers 4

17

It is Undefined behaviour as specified in the ISO C++ standard section 6.6.3:

Flowing off the end of a function is equivalent to a return with no value; this results in undefined behavior in a value-returning function.

5
  • 2
    Specific wordings:— Flowing off the end of a function is equivalent to a return with no value; this results in undefined behavior in a value-returning function.
    – kennytm
    Apr 8, 2010 at 7:02
  • 1
    'main' function is an exception to that rule. In nabulke code, last 'main' function line is redundant. Apr 8, 2010 at 7:46
  • As an important addition to this answer, 3.6.1/5 states: "If control reaches the end of main without encountering a return statement, the effect is that of executing return 0;". Jul 15, 2011 at 14:22
  • @LightnessRacesinOrbit: it is still an odd practice to omit it even in the main function, especially where it is unclear whether or not it is intentionally omitted. Dec 25, 2014 at 21:48
  • @lpapp: I can see why you may argue that, though I disagree: omitting return 0 from main is extremely common and usually very clearly not a mistake. Returning anything but 0 at the very end of the outermost scope of main would be the odd practice!! Dec 25, 2014 at 23:18
7

For x86 processors, the standard calling convention puts the return value to the EAX register. Practically it means that for most compilers if we reach the end of the function without returning, the result of the last math operation will be returned. However, you can not rely on it and it is not portable.

http://en.wikipedia.org/wiki/X86_calling_conventions#cdecl

1
  • Interesting to know! We actually had a function missing a return that was passing a test because of that. Sep 12, 2017 at 9:53
3

Updating @piotr answer.

From the C++17 Standard Section 9.6.3

Flowing off the end of a constructor, a destructor, or a function with a cv void return type is equivalent to a return with no operand. Otherwise, flowing off the end of a function other than main (6.6.1) results in undefined behavior.

2

Not returning a value from a value-returning function leads to undefined behavior.

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.