在gdb中打破失败的断言的正确方法是什么？

Question

我试图在我的程序中捕获失败的断言。我正在使用一个直接调用assert（）的库，而不是自定义函数或宏，并且它在此库中我正在尝试跟踪几个与移植相关的错误。涉及的所有内容都使用g ++中的调试符号进行编译。

我找到的最好的解决方案是破坏文件：assert的行，以及assert表达式的条件。这允许在失败之前停止断言，但这是一个可怕的解决方案。它需要针对每个可能失败的断言进行特殊设置，不能在我的IDE中运行，并且通常需要付出太多努力。

如何以允许检查assert调用范围内的callstack和变量的方式使用gdb和gcc中断任何失败的断言？

如果解决方案允许我放弃断言的失败并继续运行，那将会更好。

Answer 1

在abort()上设置断点似乎是最好的答案。

qdb的CLI中的break abort。

Answer 2

Linux上不需要break，只需在提示符下键入bt即可

abort()导致在Linux中引发SIGABRT信号，并且GDB默认已经打破了信号。例如。：

交流转换器

#include <assert.h>

void g(int i) {
    assert(0);
}

void f(int i) {
    g(i);
}

int main(void) {
    f(1);
}

然后：

gcc -std=c99 -O0 -ggdb3 -o a a.c
gdb -ex run ./a

然后在shell中输入bt：

(gdb) bt
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:58
#1  0x00007ffff7a483ea in __GI_abort () at abort.c:89
#2  0x00007ffff7a3ebb7 in __assert_fail_base (fmt=<optimized out>, assertion=assertion@entry=0x555555554788 "0", file=file@entry=0x555555554784 "a.c", line=line@entry=4, 
    function=function@entry=0x55555555478a <__PRETTY_FUNCTION__.1772> "g") at assert.c:92
#3  0x00007ffff7a3ec62 in __GI___assert_fail (assertion=0x555555554788 "0", file=0x555555554784 "a.c", line=4, function=0x55555555478a <__PRETTY_FUNCTION__.1772> "g")
    at assert.c:101
#4  0x00005555555546ca in g (i=1) at a.c:4
#5  0x00005555555546df in f (i=1) at a.c:8
#6  0x00005555555546f0 in main () at a.c:12

其中已经显示了函数值（f (i=1)）。

你也可以照常做：

(gdb) f 4
#4  0x00005555555546ca in g (i=1) at a.c:4
4           assert(0);
(gdb) p i
$1 = 1

控制GDB是否在默认情况下中断信号的设置是：handle all nostop，如下所示：How to handle all signals in GDB

在Ubuntu 16.10中测试，gdb 7.11。

Answer 3

如果建议上面的答案对你不起作用，你可以尝试打破__assert_fail函数。

break __assert_fail

名称很可能是依赖于实现的，但是如果你在平台上查看assert宏的定义，很容易找到。这将允许您在SIGABRT之前中断。