以下代码在GCC上进入了无限循环：
#include <iostream>
using namespace std;
int main(){
int i = 0x10000000;
int c = 0;
do{
c++;
i += i;
cout << i << endl;
}while (i > 0);
cout << c << endl;
return 0;
}所以这是要解决的问题：有符号整数溢出在技术上是未定义的行为。但是x86上的GCC使用x86整数指令实现了整数算术-溢出会自动换行。
因此，尽管它是未定义的行为，但我希望它能溢出。但这显然不是事实。那我想念什么？
我使用以下代码编译了此代码：
~/Desktop$ g++ main.cpp -O2GCC输出：
~/Desktop$ ./a.out
536870912
1073741824
-2147483648
0
0
0
... (infinite loop)禁用优化后，将没有无限循环，并且输出正确。Visual Studio还可以正确编译它并给出以下结果：
正确的输出：
~/Desktop$ g++ main.cpp
~/Desktop$ ./a.out
536870912
1073741824
-2147483648
3以下是一些其他变体：
i *= 2; // Also fails and goes into infinite loop.
i <<= 1; // This seems okay. It does not enter infinite loop.以下是所有相关的版本信息：
~/Desktop$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/x86_64-linux-gnu/gcc/x86_64-linux-gnu/4.5.2/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ..
...
Thread model: posix
gcc version 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)
~/Desktop$ 所以问题是：这是GCC中的错误吗？还是我误解了GCC如何处理整数算术？
*我也在标记此C，因为我假设此错误将在C中重现。（我尚未验证它。）
编辑：
这是循环的汇编：（如果我正确识别的话）
.L5:
addl %ebp, %ebp
movl $_ZSt4cout, %edi
movl %ebp, %esi
.cfi_offset 3, -40
call _ZNSolsEi
movq %rax, %rbx
movq (%rax), %rax
movq -24(%rax), %rax
movq 240(%rbx,%rax), %r13
testq %r13, %r13
je .L10
cmpb $0, 56(%r13)
je .L3
movzbl 67(%r13), %eax
.L4:
movsbl %al, %esi
movq %rbx, %rdi
addl $1, %r12d
call _ZNSo3putEc
movq %rax, %rdi
call _ZNSo5flushEv
cmpl $3, %r12d
jne .L5
组装非常长。我还应该编辑它吗？
—
Mysticial
请只提供与循环相关的部分。
—
2011年
-1。您说严格来说这是未定义的行为，请问这是否是未定义的行为。所以这对我来说不是一个真正的问题。
—
Johannes Schaub-litb
@ JohannesSchaub-litb感谢您的评论。我的措辞可能不好。我会尽力澄清赚取您未投票的票（然后我将相应地编辑问题）。基本上，我知道它是UB。但是我也知道x86上的GCC使用x86整数指令-溢出时自动换行。因此，尽管它是UB ，但我希望它能包裹起来。但是，事实并非如此，这让我感到困惑。因此是一个问题。
—
Mysticial
gcc -S。