为什么GCC在-O1优化等级下会优化掉全局结构体数组的访问逻辑？

核心触发点：代码存在未定义行为（UB） #

你提供的复现代码存在两处明确的未定义行为，是GCC优化结果不符合预期的根本原因：

1. 循环变量未初始化：for(uint8_t i; i < 4;i++) 中定义了自动变量i但未赋值初始值，根据C语言标准，未初始化的自动变量值是不确定的，访问该变量属于未定义行为。
2. 循环逻辑无意义：你将return color写在了循环体内部，导致循环最多执行1次就会退出，完全失去了遍历的作用，属于明显的逻辑错误。

GCC优化逻辑说明 #

GCC在开启-O1及以上优化等级时，会基于「代码不会主动触发未定义行为」的前提做激进的静态分析和优化：

• 当你访问foos[i].var时，由于i的值完全不确定，数组下标可能越界，该访问本身也属于未定义行为。GCC会判定该内存读取操作没有可预期的合法意义，因此直接将其优化删除。
• 当你替换为访问单个全局变量foo.var时，不存在下标不确定导致的访问UB，编译器无法判定该访问无意义，因此会保留对应的读取逻辑。

• 关闭优化：编译器不会做基于UB假设的激进优化，会逐行翻译你写的代码为汇编指令，因此会保留数组访问逻辑。
• 添加volatile关键字：volatile会告诉编译器对应内存的访问存在副作用（比如是硬件寄存器、会被其他线程/中断修改），不允许优化掉读写操作，因此会强制生成数组访问指令。
• 添加printf("%d",&color);：该代码会让color变量的地址逃逸，编译器无法判定后续是否有其他逻辑修改color的值，因此不会优化掉对color的赋值操作，对应的数组读取逻辑也会被保留。

1. 首先初始化循环变量：将循环改为for(uint8_t i = 0; i < 4;i++)，消除未初始化变量的UB。
2. 修正循环逻辑：调整return语句的位置，不要放在循环体内导致遍历只执行一次，匹配你实际的业务逻辑需求。
   修复后重新开启优化，就不会出现数组访问被误优化的问题。

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