当仍有可到达的分配时，如何使 valgrind 报告错误

Question

我正在编写一个生成 C 代码的编译器。生成的程序仅包含 main 函数，并且它们使用大量内存，这些内存是通过 malloc() 分配的。分配的大部分内存仅在程序的一小部分中使用，我认为在使用后释放它是一个好主意，因为它不会再次使用。那么，如果 valgrind 在程序结束时向我报告内存未 free()d，即仍然可达的内存，我会很高兴。我在 Makefile 中使用 valgrind 和 --error-exitcode=1 来自动检查此类问题。

问题是：有没有办法让 valgrind 以 1 退出，以防仍有可到达的分配？

Answer 1

通过 Valgrind 输出进行 grep 的另一种方法：修改编译器，使其发出：

int main() { return foo_main(); }
int foo_main() {  /* whatever you've emitted before */ }

假设您没有将分配的块分配给全局变量（这没有意义，因为您只有一个函数），您刚刚将“仍然可达”转换为“肯定泄露了”。

可能更好的转换：不要在 main 中调用 exit(0) ；将其更改为 return 0; 。最终效果应该与上面相同 - __libc_main 现在将为您调用 exit，并且 main 中的所有局部变量都将超出范围到那时。

Answer 2

valgrind 手册 说：

间接丢失但仍可达
块不计为 true
“错误”，即使 --show-reachable=yes
已指定并打印；
这是因为这样的块不需要
由程序员直接修复。

我发现没有办法让 valgrind 报告“仍然可达”错误。似乎执行此操作的唯一选择（除了修补 valgrind 之外）是捕获 valgrind 的输出并解析“仍然可达”行。

Answer 3

当退出时存在可到达块时，用于错误退出的 poroper 选项：

valgrind --tool=memcheck --leak-check=full --show-reachable=yes --errors-for-leak-kinds =all

来自 Valgrind 手册：

由于存在不同严重程度的不同类型的泄漏，因此一个有趣的问题是：哪些泄漏应该被视为真正的“错误”，哪些不应被视为真正的“错误”？

这个问题的答案会影响错误摘要行中打印的数字，以及 --error-exitcode 选项的效果。首先，如果指定了 --leak-check=full，则泄漏仅被视为真正的“错误”。然后，选项 --errors-for-leak-kinds= 控制要视为错误的泄漏类型集。默认值为 --errors-for-leak-kinds=definite,possible

Answer 4

或者，您可以在 makefile 中包含一个小 shell 脚本，用于 grep valgrind 的输出日志并相应退出。