使用volatile限定符抑制编译器警告

Question

iteration 2 invokes undefined behavior [-Waggressive-loop-optimizations]

int a[4]={1,2,3,4};
int i;   //when declared volatile int i, doesn't produce warning
i=0;
while(i<5) {
    printf("%d\t", a[i]);    //a[4] will invoke undefined behavior
    i+=2;   
}

1. 我应该启用哪些确切的gcc标志来获得此警告？
2. 为什么将i声明为volatile会抑制该警告？

Answer 1

当侵略性循环优化看到以下代码时...

int i;
i=0;
while(i<5) {
    printf("%d\t", a[i]);
    i+=2;   
}

...它要用一种叫做“循环展开”的技术来重写成这样...

printf("%d\t", a[0]);
printf("%d\t", a[2]);
printf("%d\t", a[4]);

问题！迭代0和1很好，但迭代2将执行越界数组访问，调用未定义的行为。所以你才得到警告。