C++标准中signed integer overflow未定义行为对应条款疑问

在相关问题下，有一则回答指出：

*有符号整数溢出（signed integer overflow）*属于未定义行为

但该回答未给出C++标准的相关引用依据，因此我自行查阅了ISO/IEC 14882（2020年12月第六版）。在第148页§ 7.7部分我找到了相关条款5.7：

第4至第15条中规定的会产生未定义行为的操作 ^84;

该条款指向脚注84（草案中对应脚注76），脚注内容为：

此处包括例如有符号整数溢出（对应7.2章节）、特定指针运算（7.6.6）、除零（7.6.5）或特定移位操作（7.6.7）。

随后我在7.2章节中搜索「未定义」关键词，仅找到7.2.1的第11条、11.3条以及7.2.2的第1条相关内容，但我要么无法理解这些表述，要么内容与有符号整数溢出无关。

请问脚注84中的引用是否有误？是否应该指向7.1的第4条款？该条款内容为：

如果表达式求值过程中，结果在数学上无定义，或者结果不在对应类型可表示的值范围内，则行为是未定义的。

如果脚注的引用是正确的，能否请人用通俗易懂的语言解释7.2章节的哪部分内容、如何规定了有符号整数溢出为未定义行为？

内容的提问来源于stack exchange，提问作者Thomas W.