Does this program have well-defined behaviour?

[eq mail]

Does the following have well-defined behaviour?

#include <stdlib.h>

int e(void)
{
exit(0);
}

int main(void)
{
return e();
}

 

[Keith Thompson]

Does the following have well-defined behaviour?

#include <stdlib.h>

int e(void)
{
exit(0);
}

int main(void)
{
return e();
}

I believe so.

N1570 6.9.1p12:

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

Execution never reaches the closing } of the function "e".

That by itself doesn't prove that the behavior is well-defined, but I
think that everything the program does during execution has well-defined
behavior.

 

[Eric Sosman]

Does the following have well-defined behaviour?

#include <stdlib.h>

int e(void)
{
exit(0);
}

int main(void)
{
return e();
}

Yes, as far as I can see. What is there about it that
causes you to ask the question? (Character sets, maybe? Are
you worried that what looks like an x in E-mail might look
like something else to a C compiler? Can't help you with that
one -- but if "Things are [not so] seldom what they seem,"
then I see no problem.)