C99标准中哪里说有符号整数溢出是未定义的行为？

Question

C99标准中哪里说有符号整数溢出是未定义的行为？

我看到关于无符号整数溢出的评论定义得很好（看看为什么定义了无符号整数溢出行为，但没有定义有符号整数溢出？）在第6.2.5节中：

涉及无符号操作数的计算永远不会溢出，因为不能由结果无符号整数类型表示的结果将被减少为比结果类型可以表示的最大值大一的数的模。

但是我在附录J中查看了未定义的行为，我只在列表中看到了这些类似的项目：

具有有符号提升类型的表达式将左移位，并且表达式的值为负值，或者移位的结果将无法在提升类型中表示

和

整数算术或转换函数的结果值无法表示

（注意，这指的是“整数算术函数”，而不是整数算术本身。）

Answer 1

我没有C99的副本，但在C11标准中，该文本出现在第6.5节第5段：

如果在表达式求值过程中出现异常情况（即，如果结果未在数学上定义或不在其类型的可表示值范围内），则行为未定义。

这似乎是对任何溢出的一种通吃；然后，关于无符号整数的文本成为6.5¨5以上的特例。