这是VC编译器的错误吗?关于无符号整数包装

问题描述 投票:6回答:2

我认为下面的C程序输出1:

#include <stdio.h>
int main()
{
    unsigned int n=18u;
    while ((n+17u)>=17u) n-=17u;
    printf("%u\n",n+17u);
    return 0;
}

但是在VC6,Visual Studio 2010或Visual Studio 2012中编译,都处于发布模式,程序不会输出任何内容而不会退出。

这是VS2012生成的汇编代码:

00BD1000  mov         eax,12h
00BD1005  lea         eax,[eax-11h]
00BD1008  jmp         main+5h (0BD1005h)

似乎编译器做了一些优化并生成了一个无限循环。

我认为((n+17u)>=17u)并不总是如此,因为如果n==0xFFFF..FFn+17u将包装到16u

我错了,还是编译器错了?

c visual-c++ unsigned
2个回答
4
投票

gccclang都编译掉那个循环,用常量1的printf替换它(使用-O3。)

我认为你观察到的VC行为是一个错误:无符号算术是明确定义的,你是正确的,溢出应该回绕到一个小于17的整数。所以gccclang做对了。


1
投票

MacOS上的gcc和clang:

#include <stdio.h>
int main()
{
    unsigned int n=18u;
    while ((n+17u)>=17u) {
        n-= 17u;
        printf("n=%u %u >= %u\n", n, n+17u, 17u);
    }
    printf("%u\n",n+17u);
    return 0;
}

版画

n=1 18 >= 17
n=4294967280 1 >= 17
1

因此n变为“大”并且n的增量使其再次“小”并且循环结束。我没说太好。

编译器错误很少见,但我认为你找到了一个。恭喜。

© www.soinside.com 2019 - 2024. All rights reserved.