虽然看似无关紧要，但所提供代码中的整数溢出会导致一个重大后果：循环变量的值被破坏。
此处观察到的行为源于有符号整数溢出导致的未定义行为，如 C 11 草案 N3337 中所述：
“如果在表达式求值期间，结果未在数学上定义或不在其类型的
可表示值的范围内，行为未定义。”
有了这种未定义的行为，任何事情都可能发生，渲染分析为什么会发生这种行为在 C 规则下毫无意义。
代码的汇编列表揭示了导致溢出的显式加法，从而有效地将循环变成了无限循环。此行为是由于出于优化目的而假设 i 小于或等于 2，基于大于 2 的值存在未定义行为。因此，循环条件被视为始终为 true。
为了纠正这个问题并确保正确执行，至关重要的是通过修改条件以确保其终止来消除未定义的行为
以上是为什么有符号整数溢出会导致此 C 代码中的无限循环？的详细内容。更多信息请关注PHP中文网其他相关文章！
