开启优化选项时Address Sanitizer是否仍能正常检测内存违规问题？

结论 #

这是正常预期现象，不属于Address Sanitizer（ASan）或编译器的故障。

具体原因 #

• 你的测试代码中，越界访问v[3]得到的val变量后续没有任何使用逻辑，整行int val = v[3];属于无副作用的死代码。GCC开启-O2优化时会执行死代码消除（DCE）优化，直接将这行代码对应的汇编指令完全删除，程序运行时根本不会执行对应的越界内存访问操作，ASan自然无法捕获不存在的违规行为。
• 你可以通过修改测试代码验证该逻辑：只要给val增加使用逻辑，例如新增一行printf("%d\n", val);，让编译器无法将越界访问作为死代码删除，此时即使开启-O2优化配合ASan编译，也能正常触发越界访问检测。
• 补充说明：ASan本身兼容各优化等级，优化不会导致ASan本身功能失效，仅可能因为代码结构调整（死代码消除、变量布局调整等）导致部分不会实际执行的违规逻辑漏检，属于合理预期。如果是日常内存问题排查场景，更推荐使用-O0或-O1配合-g调试信息编译，检测覆盖率更高，问题定位也更便捷。

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