跨模块C编译器优化疑问：GCC -Ofast下全局变量优化问题

假设有两个源文件file1.c和file2.c，二者分别由编译器编译后链接，编译时采用GCC -Ofast优化选项，各自头文件互相包含。

file1.c 代码 #

//#include...

int bool_check;
int main(void) {
    bool_check = 1;    
    while (bool_check) {
        do_something(); //Defined in another file
    }
}

file2.c 代码 #

void do_something() {
    extern int bool_check;
    bool_check = 0;
}

疑问列表 #

1. 编译器/优化器是否允许优化file1中的代码，认为bool_check不会被修改，从而省略每次从内存读取该变量的操作？
2. 若不允许，在分开编译的情况下，编译器如何知晓file2中的函数修改了该变量？
3. 若允许，这是否属于编译器bug？

问题解答 #

问题1：是否允许该优化？ #

允许。默认情况下（bool_check未加volatile关键字），编译器编译file1.c时仅基于当前编译单元的信息做优化：它看到bool_check在main里只被赋值为1，后续没有显式修改操作——虽然调用了外部函数do_something，但如果没有额外声明信息，编译器无法确定这个函数会修改bool_check。因此在-Ofast（甚至-O2这类较低等级优化）下，编译器可能会把bool_check的值缓存到寄存器，甚至直接把循环优化成无限循环（判定bool_check恒为1）。

问题2：分开编译时编译器如何知晓外部函数修改了变量？ #

默认情况下，编译器不知道。分开编译时每个编译单元独立处理，编译file1.c时看不到file2.c的代码。要让编译器意识到do_something会修改bool_check，需要开发者主动告知：

• 给bool_check添加volatile关键字：强制编译器每次从内存读取变量值，不做缓存优化，因为这个关键字明确告诉编译器，变量可能被当前编译单元外的代码（或硬件）修改。
• 给do_something添加属性声明，比如在file1.c里声明void do_something(void) __attribute__((may_alias))，明确标记函数有修改外部变量的副作用。

问题3：这是否属于编译器bug？ #

不属于。这完全符合C语言标准的行为。C语言优化遵循"as-if"原则：只要程序的可观察行为符合标准，编译器可进行任何优化。由于bool_check未声明为volatile，编译器有权假设当前编译单元内的代码是唯一会修改它的主体——外部函数若未标注副作用，编译器没有义务跨编译单元检查。这类逻辑问题的根源是开发者未正确使用volatile或函数属性来约束优化，而非编译器bug。

内容的提问来源于stack exchange，提问作者unalignedmemoryaccess