Wild链接器在静态PIE模式下与--no-relax选项的兼容性问题分析

在Wild链接器项目中，开发者发现了一个关于静态位置无关可执行文件(PIE)与链接器优化选项的有趣问题。当使用-static-pie编译选项并配合-Wl,--no-relax链接器选项时，生成的二进制文件会在运行时出现段错误。

问题现象

通过一个简单的测试用例可以重现该问题：

echo "int main() { return 0; }" | gcc -B ~/Programming/wild -Wl,--no-relax -static-pie -x c - && ./a.out

执行后会输出段错误信息。

技术分析

通过反汇编生成的启动代码rcrt1.o，我们可以观察到关键问题所在。在_start函数中，存在两个重要的指令序列：

1. 一个使用R_X86_64_REX_GOTPCRELX重定位的mov指令，用于加载main函数的地址
2. 一个使用R_X86_64_GOTPCRELX重定位的call指令，用于调用__libc_start_main

问题根源在于，当使用--no-relax选项时，链接器不会对这些GOTPCRELX重定位进行优化处理。在静态PIE模式下，GOT表中的地址实际上是相对地址，需要通过运行时重定位R_X86_64_RELATIVE来修正。然而，这个修正过程是在__libc_start_main内部完成的，导致在调用之前GOT表项尚未被正确初始化。

深入理解

这种现象揭示了静态PIE与动态链接之间的一些微妙差异：

1. 在传统动态链接中，GOT表项的修正由动态链接器在程序启动前完成
2. 在静态PIE中，GOT表项的修正由程序自身的启动代码完成
3. 当禁止重定位优化时，编译器生成的代码假设GOT表项已经是最终地址，这与静态PIE的运行机制冲突

解决方案

经过分析，这个问题实际上反映了--no-relax选项与PIE模式之间的根本性不兼容。即使在GNU ld链接器中，同样的配置也会导致段错误。这表明：

1. --no-relax选项可能本质上就不适合与PIE模式一起使用
2. 特别是在glibc初始化代码尝试使用GOT表时，此时GOT表尚未完成初始化

因此，这不是Wild链接器特有的问题，而是链接器技术中的一个普遍限制。开发者应该避免在构建静态PIE时使用--no-relax选项。