摘要

本文中介绍了 Go 编译器的整体编译流程脉络和一个编译优化错误导致数据越界访问的 bug，并分析了对这个 bug 的排查和修复过程，希望能够借此让大家对 Go 编译器有更多的了解，在遇到类似问题时有排查思路。

缘起

某日，一位友人在群里招呼我，“看到有人给 Go 提了个编译器的 bug，挺有意思，感觉还挺严重的，要不要来看看？”于是我打开了 issue 40367 。彼时，最新一条评论是 这条 ：

提到将循环体中的一个常数从 1 改成 2 就无法复现问题，这顿时勾起了我的兴趣，于是我准备研究一番。

bug 代码跟现象如下图，正常来看，代码应该在输出 "5 6" 后停止，然而实际上却无限执行了下去，只能强行终止或等待程序触碰到无权限内存地址之后崩溃。