LLVM和GCC,不同的输出相同的代码

Question

这是一个示例代码,用于显示LLVM编译器和GCC的不同输出.我想知道为什么？答案应该很简单,但我看不到它.(Xcode 4.6.1)

代码:

#include <stdio.h>

#define MAX(a,b) ( (a) > (b) ? (a) : (b) )

int increment() {
    static int i = 42;
    i += 5;
    printf("increment returns %d\n",i);
    return i;
}

int main( int argc, char ** argv ) {
    int x = 50;
    printf("max of %d and %d is %d\n", x,increment(),MAX(x, increment()));
    printf("max of %d and %d is %d\n", x,increment(),MAX(x, increment()));
    return 0;
}

LLVM输出:

increment returns 47
increment returns 52
increment returns 57
max of 50 and 47 is 57
increment returns 62
increment returns 67
increment returns 72
max of 50 and 62 is 72

GCC输出:

increment returns 47
increment returns 52
max of 50 and 52 is 50
increment returns 57
increment returns 62
increment returns 67
max of 50 and 67 is 62

Answer 1

未定义参数的评估顺序.所以这:

printf("max of %d and %d is %d\n", x,increment(),MAX(x, increment()));

导致未定义的未指定行为.这就是为什么你在两个编译器上都有不同的结果.

另一个(潜在的)问题是:MAX- 它可能导致两次调用increment.避免使用这样的宏.