GDB中第7行断点触发一次后不再触发的原因咨询

问题场景 #

测试代码 #

#include <stdio.h>

int main()
{
    int counter = 0;
    int run = 1;
    while (run)
    {
        printf("loop %d\n", counter++);
    }
    return 0;
}

操作步骤 #

编译并启动GDB：

gcc -O0 -g -o loop loop.c
gdb ./loop

设置断点后执行info b，输出如下：

(gdb) info b
Num     Type           Disp Enb Address            What
1       breakpoint     keep y   0x0000000000001163 in main at loop.c:7
2       breakpoint     keep y   0x0000000000001165 in main at loop.c:9

运行程序后出现异常现象：

• 程序首次在第7行断点触发，符合预期
• 接着在第9行断点触发，符合预期
• 后续仅持续触发第9行断点，第7行断点不再触发

此时info b显示：

(gdb) info b
Num     Type           Disp Enb Address            What
1       breakpoint     keep y   0x0000555555555163 in main at loop.c:7
        breakpoint already hit 1 time
2       breakpoint     keep y   0x0000555555555165 in main at loop.c:9
        breakpoint already hit 4 times

特殊操作验证：在第9行中断后执行next，重新设置第7行断点，该断点可被循环触发，此时info b显示：

(gdb) info b
Num     Type           Disp Enb Address            What
1       breakpoint     keep y   0x0000555555555163 in main at loop.c:7
        breakpoint already hit 1 time
2       breakpoint     keep y   0x0000555555555165 in main at loop.c:9
        breakpoint already hit 5 times
3       breakpoint     keep y   0x0000555555555184 loop.c:7
        breakpoint already hit 1 time

原因解析 #

核心原因是C语言的while(run)语句在编译后对应两处不同的汇编指令位置，GDB的断点绑定逻辑导致了这一现象：

1. 首次断点仅绑定单一位置
   编译后的汇编代码中，while(run)对应两个关键位置：

   • 第一处是循环首次进入前的条件检查点（即断点1的地址0x555555555163）：程序初始化run=1后，会先到这里检查条件，触发第一次断点。
   • 第二处是循环体执行后的条件检查点（即断点3的地址0x555555555184）：每次执行完循环体的printf后，程序会跳转到这个位置重新检查条件，而非回到首次检查的地址。
     GDB首次设置第7行断点时，默认绑定到该行对应的第一个汇编指令位置（即首次检查点），因此仅触发一次。

2. 重新设置断点绑定到循环跳转目标
   当在第9行执行next后，程序会执行完printf并跳转到循环体后的条件检查点（此时PC指向这个地址）。此时再设置第7行断点，GDB会将断点绑定到当前PC所在的、属于第7行的汇编指令位置——也就是每次循环都会回到的检查点，因此后续循环会持续触发这个新断点。

内容的提问来源于Stack Exchange，提问作者Louis Coulet