为什么-fno-omit-frame-pointer编译选项会干扰ASAN内存泄漏检测？

编译选项作用与适用场景 #

• -fomit-frame-pointer：编译器会省略函数栈帧的帧指针，将原本存储帧指针的寄存器释放为通用寄存器使用，可略微降低函数调用的栈操作开销、提升运行性能。该选项在-O2及更高优化级别下默认开启，适合正式发布的生产环境使用。
• -fno-omit-frame-pointer：强制编译器保留帧指针，所有函数的栈帧会通过帧指针串联成完整的调用链，无需额外的调试信息即可完成栈回溯。该选项是调试、性能采样（如perf）、sanitizer检测场景的常用编译选项，可大幅提升各类调试工具的运行稳定性和结果准确性。

本示例现象解释 #

你遇到的ASAN不报泄漏的核心原因和帧指针本身没有直接关系，而是ASAN的泄漏检测默认基于内存可达性判定：进程退出时ASAN会扫描所有栈内存、通用寄存器、全局内存区域，只要某块堆内存还能被上述位置的指针指向，就会被判定为「仍可达」，不会被标记为泄漏上报。

你观测到的参数差异本质是不同编译选项组合下的栈布局优化差异：

1. 你给出的「ASAN无法上报泄漏」的编译命令，刚好同时开启了-Og、-fno-omit-frame-pointer、-fsanitize=address,undefined三个选项，这种参数组合下main函数的栈布局不会被过度优化，你定义的memleak指针对应的栈存储位置，在整个main函数运行周期内都不会被覆盖，到进程退出时ASAN扫描栈还能找到指向该堆内存的指针，就会判定为仍可达、不上报泄漏。
2. 你列出的三组可上报泄漏的命令，要么缺少-fno-omit-frame-pointer，要么缺少-Og优化，栈布局会被调整，memleak指针在最后一次使用（第一个printf调用）后就会被栈上的其他数据覆盖、或者直接被编译器优化清除，进程退出时ASAN扫描不到指向该堆内存的指针，就会判定为泄漏并上报。
3. 你注释掉第二个printf后ASAN恢复报泄漏的原因同理：没有第二个printf调用时，main函数在第一个printf执行完成后就直接返回，编译器会提前优化释放memleak指针对应的栈空间，ASAN扫描时找不到对应指针，就会上报泄漏。

如果需要强制ASAN上报所有类型的内存问题，包括仍可达的内存，可以在运行程序前设置环境变量：export ASAN_OPTIONS=show_leak_kinds=all，即可在输出中看到所有堆内存的分配、释放状态。

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