Alpine Linux 上的符号版本控制

Question

musl C 库只有符号版本控制的近似实现。这可能导致具有不同符号版本的符号绑定在一起，这在完整实现中不会发生。因此，希望使用 musl 构建的项目最好完全避免符号版本控制。（不支持符号版本控制本身对于工具链来说不一定是一个糟糕的选择；这完全取决于目标受众。）

但是，Alpine Linux 工具链编译 binutils 时具有完整的符号版本支持：GAS 支持该.symver指令，链接编辑器处理版本脚本并分配符号版本（就像在 GNU/Linux 上一样）。一个简单的编译器/汇编器或链接检查显示符号版本的支持。因此，Alpine Linux 在发行版中包含的一些共享对象实际上使用了符号版本控制，尽管 musl 动态加载器会忽略这些数据。（数据只会使二进制文件膨胀。）

在某些情况下，软件无法运行（在构建正常之后），因为它以 musl 动态链接器不支持的方式使用兼容性符号（没有默认版本的符号）。这是一个不起作用的小例子：

cat > symver.c <<EOF
void
compat_function (void)
{
}
__asm__ (".symver compat_function,compat_function@SYMVER");

void
call_compat_function (void)
{
  return compat_function ();
}
EOF

echo "SYMVER { };" > symver.map

cat > main.c <<EOF
extern void call_compat_function (void);

int
main (void)
{
  call_compat_function ();
}
EOF

gcc -fpic -shared -o symver.so -Wl,--version-script=symver.map symver.c
gcc -Wl,--rpath=. -o main main.c symver.so
./main

执行失败Error relocating ./symver.so: compat_function: symbol not found。它在没有.symver指令的情况下成功运行。

binutils 对符号版本控制的支持与不支持它的动态链接器的组合如何在实践中工作？项目是否应该检查 *-musl目标三元组并禁用符号版本控制？

动态链接器支持的运行时检查可以完成这项工作，但它会破坏交叉编译。这是否应该在 Alpine Linux 本身中通过禁用 binutils 中的符号版本支持来修复？