Is omitting return statement undefined behaviour in C89 (aka ANSI C)?

Question

Consider following basic example:

#include <stdio.h>

int main(void)
{
    printf("Hi there!\n");
}

Does it invoke undefined behaviour in C89? I tried to get some sense from this question, but most upvoted answers claim that it's implementation-defined and definitely no UB here (with comments of Keith Thompson, that looks contradictory).

The spec says in §3.16 Definitions and conventions:

If a “shall” or “shall not” requirement that appears outside of a constraint is violated. the behavior is undefined. Undefined behavior is otherwise indicated in this International Standard by the words “undefined behavior” or by the omission of any explicit definition of behavior. There is no difference in emphasis among these three: they all describe “behavior that is undefined”.

and §5.1.2.2.3 Program termination:

A return from the initial call to the main function is equivalent to calling the exit function with the value returned by the main function as its argument. If the main function executes a return that specifies no value, the termination status returned to the host environment is undefined.

My understanding is that latter subclause does not cover case of missing return, as return statement in not never invoked, thus former subclause applies.

However futher reading indicates something different, §6.6.6.4 The return statement:

If a return statement without an expression is executed, and the value of the function call is used by the caller, the behavior is undefined. Reaching the } that terminates a function is equivalent to executing a return statement without an expression.

Ok, so now 5.1.2.2.3 subclause applies:

If the main function executes a return that specifies no value. the termination status returned to the host environment is undefined.

The term "termination status is undefined" does not seem to be UB, nor any specific behavior, but more like it's outside of scope of C Standard, thinking more like: "let the host environment to be worry about, we wash our hands from here". Is it correct intepretation?

Answer 1

Years ago I actually debugged issues caused by this. It gets even more interesting if you have some code paths with returns and others without.

As @aruisdante surmised in the comments, the behavior exhibited is indeed 'undefined', but the only undefined part is the value returned (it's not like many other 'undefined' situations that may crash the program).

These days this actually amounts to a security risk because the 'undefined' value returned is generally whatever happens to be in the CPU register normally used to return values (or on the stack in some implementations), which could theoretically be used to leak sensitive data.