当变量从数组末尾更改时，gdb监视点将不起作用

Question

#include <stdio.h>

typedef struct ThingStruct {
    int arr[8];
    int after;
} Thing;

void foo(int i) {
    Thing thing;
    int* ip = &thing.after;
    thing.after = 12345;
    printf("beforehand\n");
    thing.arr[i] = 55;
    printf("done\n");
}

int main() {
    foo(8);
}

这段代码通过不小心离开数组末尾而更改了thing.after 。 我想尝试找到使用gdb更改thing.after的行。 因此，我使用-g进行编译，在第12行上放置一个断点，然后在thing.after上放置一个观察点，但是即使在第14行上放置一个断点确实显示了那thing.after ，之后观察点也不会触发。

我什至尝试使用thing.after的地址并thing.after设置观察点，但是它仍然不会触发。

Answer 1

每次输入foo函数时，都需要重新添加监视点（请注意，在监视局部变量时，它将在堆栈帧退出后无效，并在foo返回后自动删除）。 同样，如果监视的变量在当前要执行的行上更改，则监视点不会被触发（不确定原因）。 对我来说，当我添加监视点watch thing.after时， int* ip = &thing.after;之后，在输入foo之后 。 当我继续时，监视点命中2次。

Answer 2

您没有说使用哪个平台，什么版本的GDB或用来设置观察点的命令。

在Ubuntu / x86_64上使用gdb 7.9，事情按我预期的那样工作：

(gdb) b foo
Breakpoint 1 at 0x400538: file t.c, line 10.
(gdb) r
Starting program: /tmp/a.out 

Breakpoint 1, foo (i=8) at t.c:10
10          int* ip = &thing.after;
(gdb) watch thing.after
Hardware watchpoint 2: thing.after
(gdb) c
Continuing.
Hardware watchpoint 2: thing.after

Old value = 4195712
New value = 12345
foo (i=8) at t.c:12
12          printf("beforehand\n");
(gdb) c
Continuing.
beforehand
Hardware watchpoint 2: thing.after

Old value = 12345
New value = 55
foo (i=8) at t.c:14
14          printf("done\n");

（gdb）q