c - 不一致的未定义行为

Question

对于一个类，我想用goto 向学生演示未定义的行为。我想出了以下程序:

#include <stdio.h>

int main()
{
        goto x;

        for(int i = 0; i < 10; i++)
                x: printf("%d\n", i);

        return 0;
}

我希望编译器(gcc 版本 4.9.2)警告我访问 i 是未定义的行为，但没有警告，甚至没有:

gcc -std=c99 -Wall -Wextra -pedantic -O0 test.c

运行程序时，i 显然被初始化为零。为了了解发生了什么，我用第二个变量 j 扩展了代码:

#include <stdio.h>

int main()
{
    goto x;

    for(int i = 0, j = 1; i < 10; i++)
            x: printf("%d %d\n", i, j);

    return 0;
}

现在编译器警告我，我正在访问 j，但它没有被初始化。我明白了，但为什么 i 也没有未初始化？

Answer 1

未定义行为是一种运行时现象。因此，编译器很少能够为您检测到它。大多数未定义行为的情况都是在执行超出编译器范围的操作时调用的。

为了使事情变得更加复杂，编译器可能会优化代码。假设它决定将 i 放入 CPU 寄存器，而将 j 放入堆栈，反之亦然。然后假设在调试构建期间，它将所有堆栈内容设置为零。

如果您需要可靠地检测未定义的行为，您需要一个静态分析工具，它可以进行编译器无法完成的检查。