如何让GCC在-O3优化下始终加载只读常量并保持二进制一致性？

云上老周

2026-7-7

问题描述

我有一个const全局变量，理论上它是只读的，应被放置在.rodata段。但使用-O3优化编译代码时，GCC会根据变量值生成不同的读取代码：若变量值为0或小到能放入ISA指令立即数字段，会生成单条指令；值较大时则会生成多条指令。我希望无论变量值如何，生成的代码都保持一致。

我尝试过两种方法，但都存在问题：

声明为volatile const：确实能让编译器始终生成加载指令读取值，但GCC似乎忽略了const属性，将变量放到了.data段。
声明为__attribute__((section(".rodata"))) volatile：出现警告Warning: setting incorrect section attributes for .rodata。

我的核心目标是：无论这些由编译时宏生成的const变量值如何，最终生成的二进制文件尽可能一致（即各段地址、大小相同），同时这些const值需处于只读数据段，使其在页表中标记为RO，防止运行时被篡改。

解决方案建议

用const配合__attribute__((used))强制保留符号
给const全局变量添加__attribute__((used))属性，告知编译器即使变量看似未被直接使用也要保留它，避免编译器将变量值直接内联到指令中。示例声明：
```
const int my_var __attribute__((used)) = GENERATED_MACRO_VALUE;
```
此方法能让变量稳定留在.rodata段，同时编译器会生成从内存加载的指令，而非嵌入立即数，保证代码结构一致。
通过非内联辅助函数约束读取行为
编写一个带__attribute__((noinline))的辅助函数来读取变量，强制编译器通过内存访问获取值：
```
static __attribute__((noinline)) int get_my_var(const int *var) {
    return *var;
}

// 使用示例
int val = get_my_var(&my_var);
```
无论变量值大小，都会生成一致的内存加载指令，且my_var作为const变量会被放在.rodata段。
针对性调整编译优化选项
可以用-fno-const-prop编译选项禁止常量传播，或用#pragma对特定代码块关闭优化，确保变量始终从.rodata段读取：
```
#pragma GCC push_options
#pragma GCC optimize ("O0")
const int my_var = GENERATED_MACRO_VALUE;
#pragma GCC pop_options
```
注意此方法需谨慎使用，避免影响其他代码的优化效果。
自定义只读段并合并到.rodata
若必须使用volatile，不要直接指定.rodata段，而是自定义一个只读段，再通过链接脚本合并到.rodata：
```
const volatile int my_var __attribute__((section(".my_rodata"), used)) = GENERATED_MACRO_VALUE;
```
在链接脚本中添加如下配置，将自定义段合并到只读段：
```
.rodata : {
    *(.rodata)
    *(.my_rodata)
}
```
这样既保留volatile的内存读取行为，又能让变量处于只读段，避免GCC的属性警告。

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