问是否在C89 (又名ANSI C)中省略返回语句未定义的行为？

EN

考虑以下基本示例：

#include <stdio.h>

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

它是否在C89中调用未定义的行为？我试着从这个问题那里得到一些感觉，但是大多数被否决的答案都声称它是由实现定义的，而且这里肯定没有UB (这里有Keith的评论，这看起来很矛盾)。

规范在第3.16节中规定了定义和约定

如果出现在约束之外的“应”或“不”要求被违反。行为是未定义的。在本国际标准中，未定义的行为以“未定义的行为”或对行为的任何明确定义的省略来表示。这三种语言在强调程度上没有区别:它们都描述“未定义的行为”。

第5.1.2.2.3节终止方案

对main函数的初始调用的返回相当于调用exit函数，main函数返回的值作为其参数。如果main函数执行未指定值的返回，则未定义返回到主机环境的终止状态。

我的理解是，后一个子子句不包括缺少返回的情况，因为return语句在not调用中没有调用，因此前一个子子句适用。

然而，进一步的阅读表明了一些不同的东西，第6.6.6.4节，return语句

如果没有表达式的return语句被执行，并且调用方使用函数调用的值，则行为是未定义的。到达终止函数的} return 的等同于在没有表达式的情况下执行return语句。

好的，现在5.1.2.2.3分句适用于：

如果main函数执行不指定值的返回。返回到主机环境的终止状态未定义。

术语“终止状态是未定义的”似乎不是UB，也不是任何特定的行为，但更像是超出了C标准的范围，更像是：“让主机环境担忧，我们在这里洗手”。这是正确的整数吗？