使用GDB调试程序：添加编译参数后仍存在优化残留问题

问题根源 #

你在命令行使用CFLAGS+="-g -O0 -fsanitize=address"的写法是错误的：+=是Makefile内部的变量追加语法，命令行传参时这么写会被识别为给**CFLAGS+这个新变量**赋值，而非修改原本的CFLAGS变量。因此编译时依然使用Makefile里定义的CFLAGS = -g0 -O2 -Wno-system-headers，保留了-O2优化和-g0关闭调试信息的配置，导致GDB回溯显示变量被优化。

解决方法 #

方法1：命令行直接覆盖CFLAGS #

直接在命令行重新定义完整的CFLAGS，包含你需要的调试、关闭优化选项，同时保留原Makefile里必要的-Wno-system-headers（如果不需要可以省略）：

make CFLAGS="-g -O0 -fsanitize=address -Wno-system-headers"

注意：必须确保-g（开启调试信息）在-g0（关闭调试）之后，或者直接去掉-g0，否则-g0会覆盖-g的效果。

方法2：修改Makefile支持变量追加 #

如果不想每次命令行都重复原有的CFLAGS选项，可以修改Makefile中的CFLAGS定义：
将原行：

CFLAGS = -g0 -O2 -Wno-system-headers 

替换为以下两种方式之一：

方式A：使用默认值语法（命令行传参将覆盖默认值）

CFLAGS ?= -g0 -O2 -Wno-system-headers

之后命令行只需传入你需要的选项即可：

make CFLAGS="-g -O0 -fsanitize=address"

方式B：使用override追加（命令行传参后自动追加原选项）

override CFLAGS += -g0 -O2 -Wno-system-headers

这种方式下，命令行传入的CFLAGS会先生效，再自动追加原Makefile里的选项，无需手动重复：

make CFLAGS="-g -O0 -fsanitize=address"

验证方法 #

编译完成后，用以下命令检查编译参数是否生效：

gcc -Q --help=optimizers your_program.o | grep -E 'O[0123s]'

如果输出显示-O0，说明优化已关闭；同时可以用：

readelf -S your_program | grep debug

检查是否存在调试段，确认-g已生效。

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