Mrustc 0.11.0 版本在构建 libcore 时的段错误问题分析

问题背景

Mrustc 是一个用 C++ 实现的 Rust 编译器，旨在能够自举 Rust 工具链。在 0.11.0 版本中，用户报告了一个在构建 libcore 时出现的段错误问题。这个问题发生在执行 make -C run_rustc 命令时，编译器在处理核心库时意外崩溃。

问题现象

当用户尝试构建 libcore 时，编译器在 MIR（Mid-level Intermediate Representation）数据流分析阶段崩溃，产生了 SIGSEGV 信号。从错误日志中可以看到，这是一个典型的段错误，通常意味着程序试图访问无效的内存地址。

技术分析

通过对问题的深入分析，发现这实际上是一个 GCC 编译器优化导致的 bug。具体表现为：

1. 在 MIR 数据流分析阶段，编译器尝试处理一个联合体（union）类型时出现了问题
2. GCC 的 ISRA（Intra-procedural Scalar Replacement of Aggregates）优化错误地将指针截断为 32 位值
3. 当程序尝试访问这个被截断的指针时，导致了段错误

从汇编代码分析可以看出，在调用 ZRIG3cM17rustc_middle0_0_03mir10terminator16CallReturnPlaces0g8for_each1gG1cS23rustc_mir_dataflow0_0_0H31closureI_call_$1b8928e53136f716.isra.0 函数时，原本应该传递 64 位指针的参数被错误地截断为 32 位。

解决方案

作为临时解决方案，开发者发现可以通过降低优化级别来避免这个问题：

1. 将编译优化级别从默认的 -O 改为 -O1
2. 这个调整可以避免触发 GCC 的特定优化路径，从而绕过这个 bug

这个解决方案已经在 commit 994ddf8 中实现，通过修改构建脚本强制使用 -O1 优化级别来规避这个问题。

影响范围

这个问题主要影响：

1. 使用较新版本 GCC（如 13.3.0）编译 Mrustc 的用户
2. 在构建 libcore 时出现
3. 特别是在执行 MIR 数据流分析阶段

后续建议

对于开发者来说，可以考虑以下建议：

1. 关注 GCC 的更新，看是否有修复这个问题的版本
2. 在构建 Mrustc 时，如果遇到类似问题，可以尝试手动调整优化级别
3. 考虑报告给 GCC 社区，帮助修复这个优化器 bug

这个问题展示了编译器开发中常见的一类问题 - 编译器自身的优化可能导致生成的代码出现错误行为。在这种情况下，降低优化级别是一个有效的临时解决方案，但长期来看，需要上游编译器修复这个优化问题。