为什么 Valgrind 报告“条件跳转或移动取决于未初始化的值”以及如何跟踪其来源？

精确定位“条件跳转或移动取决于未初始化的值”Valgrind 消息

Valgrind 神秘的“条件跳转或移动取决于未初始化的值” value(s)”消息可能是一个令人费解的谜题。虽然它标识了使用未初始化值的点，但它无法揭示其来源。

要解决此问题，您可以利用 valgrind 选项 --track-origins=yes。这使得 Valgrind 能够追踪未初始化值的起源，但代价是增加内存使用量和执行时间。

理解报告行为

值得注意的是， Valgrind 不会在首次使用时立即报告未初始化的值。相反，它会等到数据的使用方式可能会影响程序的可观察行为。 Valgrind 手册对此进行了解释：

重要的是要了解您的程序可以随意复制垃圾（未初始化）数据。 Memcheck 观察到这一点并跟踪数据，但没有抱怨。仅当您的程序尝试以可能影响程序的外部可见行为的方式使用未初始化的数据时，才会发出投诉。

来自 Valgrind 的其他见解

Valgrind FAQ 进一步阐明：

对于急于报告未初始化内存值的副本，这已被多次建议。不幸的是，几乎所有程序都会合法地复制未初始化的内存值（因为编译器会填充结构以保持对齐），并且急切的检查会导致数百个误报。因此Memcheck目前不支持eager check。

以上是为什么 Valgrind 报告“条件跳转或移动取决于未初始化的值”以及如何跟踪其来源？的详细内容。更多信息请关注PHP中文网其他相关文章！