c - for(i = 0; i <10000000000;++ i)编译为无限循环吗？

我正在运行一些测试，以了解++ i和i++如何转换为asm。我写了一个简单的:

int main()
{
    int i;
    for(i=0;i<1000000;++i);
    return 0;
}

使用 gcc test.c -O0 -o test 编译它，并使用 objdump -d test 检查asm:

4004ed: 48 89 e5                mov    %rsp,%rbp
4004f0: c7 45 fc 00 00 00 00    movl   $0x0,-0x4(%rbp)  // i=0;
4004f7: eb 04                   jmp    4004fd <main+0x11>
4004f9: 83 45 fc 01             addl   $0x1,-0x4(%rbp)     // ++i;
4004fd: 81 7d fc 3f 42 0f 00    cmpl   $0xf423f,-0x4(%rbp) //
400504: 7e f3                   jle    4004f9 <main+0xd>   //i<1000000;
400506: b8 00 00 00 00          mov    $0x0,%eax
40050b: 5d                      pop    %rbp
40050c: c3                      retq

到目前为止，一切都很好。奇怪的是(如果我正确理解了asm代码)是什么时候而不是i

4004ed: 48 89 e5                mov    %rsp,%rbp
4004f0: c7 45 fc 00 00 00 00    movl   $0x0,-0x4(%rbp)
4004f7: 83 45 fc 01             addl   $0x1,-0x4(%rbp)
4004fb: eb fa                   jmp    4004f7 <main+0xb>

根据我的理解，这是一个无休止的循环，原因是为生成了完全相同的asm:

 for(i=0;;++i);

问题是，是否真的有可能将其编译为无限循环？为什么？
我正在使用Ubuntu 13.04，x86_64。

谢谢。

最佳答案

发生这种情况是因为您的体系结构上int的最大值永远不会达到10000000000。在达到该值之前，它将在某个时间点溢出。因此，条件i < 10000000000将始终评估为true，这意味着这是一个无限循环。

编译器能够在编译时推断出这一点，这就是为什么它为无限循环生成适当的汇编的原因。

编译器可以就此警告您。为此，您可以使用以下命令启用“额外”警告级别:

gcc -Wextra

GCC 4.8.2 for example will tell you:

warning: comparison is always true due to limited range of data type [-Wtype-limits]
for (i = 0; i < 10000000000; ++i);
^

它甚至告诉您特定的警告选项，它可以精确控制这种警告类型(Wtype-limits)。