GCC未标记is_stmt导致GDB按行设断点错位问题及方案咨询

问题1：为何GCC不会为此类无歧义的代码行标记is_stmt？ #

这是GCC 10.x版本针对Arm Thumb指令集目标、配合-Og优化级别的已知行为，核心原因有两个：

• 模板隐式实例化的行表生成逻辑缺陷：非显式实例化的模板方法代码，GCC的DWARF信息生成模块只会给实例化入口、内联展开边界的行标记is_stmt，模板主体内的普通代码行默认不会置位该标记，该问题在后续GCC 12及以上版本已经做了部分修复。
• Cortex-M0+后端的指令合并逻辑：Cortex-M0+仅支持16位基础Thumb指令，GCC为了压缩代码体积，会把模板内无分支、无副作用的连续C语句对应的指令合并为连续的指令块，仅给块的第一行代码标记is_stmt，块内其他行的标记会被清空。

问题2：若GCC确实会生成此类调试信息，为何GDB会直接忽略未标记is_stmt的行？ #

该逻辑符合DWARF调试标准的约定：is_stmt全称为is statement boundary，本身就是用来标识对应地址是一个独立C语句的起始边界。GDB默认行号断点的设计逻辑是仅命中语句起始位置，避免在非语句边界的地址打断点时，出现单步执行乱跳、断点命中多次等不符合预期的调试行为，因此会默认跳过所有is_stmt未置位的行号记录。

问题3：是否有可行的规避方案？ #

可根据你的使用场景选择以下方案：

• 强制GDB设置行号断点：使用b 818 -force命令，GDB会忽略is_stmt标记，强制在指定行对应的所有地址上插入断点。
• 修改编译参数：如果可以接受-O0的执行性能，编译时替换-Og为-O0，同时保留-ggdb3，该优化级别下GCC会给所有有效代码行都置位is_stmt标记。如果需要保留-Og，可额外添加-fno-merge-all-constants -fno-schedule-insns参数，能减少指令合并导致的is_stmt标记丢失问题。
• 代码插桩：在需要打断点的代码行前插入asm volatile("nop");，GCC会单独给该汇编指令对应的行置位is_stmt标记，直接在该行或者下一行设置断点即可正常命中。
• 地址断点宏：你当前使用的地址断点方案可封装为GDB宏，在.gdbinit中添加以下内容，之后直接使用bline 818即可自动解析行号对应地址并插入断点：

define bline
  python line_info = gdb.execute(f"info line {arg1}", to_string=True)
  python addr = line_info.split("address ")[1].split()[0]
  gdb.execute(f"b *{addr}")
end

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