缺少具有非保留标识符的对象/函数的定义是否会导致诊断？

Question

示例代码：

void accept(int x);

int main(void)
{
        accept(0);
        return 0;
}

调用：

$ gcc t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>

$ clang t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>

$ cl t719.c /std:c11 /Za
t719.obj : error LNK2019: unresolved external symbol accept referenced in function main

$ icc t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>

考虑用户忘记定义 accept。我们看到可能不会产生任何诊断结果。是否需要诊断？

UPD：另一个例子：

extern int y0;

int main(void)
{
        return y0;
}

# linux (begin)
$ gcc t719.c -std=c11 -pedantic -Wall -Wextra
undefined reference to `y0'

$ clang t719.c -std=c11 -pedantic -Wall -Wextra
undefined reference to `y0'

$ icc t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>
# program returned: 243
# linux (end)

# windows (begin)
# gcc in cygwin
$ gcc t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>
# program returned: 255

# clang in cygwin
$ clang t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>
# program returned: 255

$ cl t719.c /std:c11 /Za
unresolved external symbol _y0 referenced in function _main

$ LLVM/12.0.0/bin/clang t719.c -std=c11 -pedantic -Wall -Wextra
<nothing>
# program returned: 72

$ icl -Qstd=c11 t719.c 
<nothing>
# program returned: 65
# windows (end)

Answer 1

C 2018 §6.9 ¶5 说：

...如果在表达式中使用通过外部链接声明的标识符（而不是作为结果为整数常量的 sizeof 或 _Alignof 运算符的操作数的一部分），在整个程序的某处应该有一个标识符的外部定义；...

由于违反了“应”，但它不在约束段落中，C 2018 §4 ¶2 做出了这种未定义的行为：

如果违反约束或运行时约束之外出现的“应”或“不应”要求，则行为未定义......

有关诊断的条款，第 5.1.1.3 节，不需要对此进行诊断：

如果预处理翻译单元或翻译单元包含违反任何语法规则或约束的行为，即使该行为也明确指定为未定义，一致的实现也应生成至少一条诊断消息（以实现定义的方式标识）或实现定义的。其他情况下不需要生成诊断消息。