如题。起因是这个：

OP 发现在修改不相关的代码之后，竟然导致在该行之前，有变量的值多次运行结果不同。

2.22507e-308 == DBL_MIN，是 OP 在前面为该变量赋的初始值，但在正常的运行中，该变量应该被更新为 3.33333：

image|690x264

这是 OP 用 GDB 单步执行检查的结果。在第 66 行处，subsidy 的值被赋给 max_m。

image|690x431

这件事的灵异之处就是，这个赋值好像在某些次执行的时候会失败。比如如下的运行结果（这几次编译之间 OP 没有修改原文件内容，只是换用了不同的优化等级。这有可能是使用了未定义操作导致的。但是！其中有两次 -O2 优化后执行，但两次结果竟然不同）：

image|623x500

于是 OP 决定抓个现行，用 GDB debug 一个会产生错误结果（输出 1）的编译结果。

image|690x417

一路追踪下去，发现最重要的 max_m 竟然成功被更新。

image|690x431

OP 觉得可能是循环结束之后的哪里出了问题，然后继续执行下去，结果发现：竟然输出了正确的结果。

image|690x431

OP 觉得难以置信，在本次 debug 之后紧接着又运行了一遍，发现还是输出正确结果。在写这句话的时候又运行了一遍，发现又错了：

image|690x290

nonsuch

📝 User Blog Posts (2 posts)