使用Picolibc+LTO时Bazel链接报错：未定义符号stdout

问题核心分析 #

对比Bazel与Meson的链接命令，导致LTO模式下stdout符号找不到的关键差异有三点：

• 库顺序优先级：Bazel将picolibc标准库（-lc、-lc++等）放在启动库之前，而Meson把包含stdout定义的启动库放在最前面。LTO模式下链接器对符号依赖的解析顺序敏感度极高，picolibc的puts.c引用stdout时，需要先有定义才能被正确解析。
• 重复库引用：Bazel将启动库libapollo4-fam-picolibc-startup.a同时放在--start-group外部和内部，这会干扰LTO的符号索引逻辑，导致链接器无法正确识别符号定义。
• 链接脚本位置：Meson将链接脚本-T纳入--start-group内部，而Bazel放在组外。LTO下链接脚本的符号定义需要和依赖库一起参与全局分析，否则会出现符号关联失败。

具体修复步骤 #

1. 调整库顺序，启动库前置 #

修改Bazel工具链配置或链接规则，确保libapollo4-fam-picolibc-startup.a作为第一个依赖加入--start-group，且仅出现一次。LTO模式下，链接器会优先处理前置库的符号定义，确保picolibc能找到stdout的实现。

调整后--start-group内的顺序应为：

-Wl,--start-group
  bazel-out/.../libapollo4-fam-picolibc-startup.a
  ...some-dependency-libs.a...
  -lc -lc++ -lc++abi -lunwind -lclang_rt.builtins -lm -lcrt0
-Wl,--end-group

2. 将链接脚本移入--start-group #

把-T mcus/apollo4l/llvm-picolibc.ld移动到--start-group和--end-group之间，与Meson的配置对齐。LTO下链接脚本的符号规则需要和依赖库一同参与全局优化分析，否则会导致符号可见性异常。

3. 强制保留stdout符号（兜底方案） #

如果调整顺序后问题仍存在，可在链接命令中添加-Wl,--undefined=stdout选项，强制链接器将stdout标记为未定义符号，从而在所有库中强制查找其定义，绕过LTO的符号优化逻辑。

4. 统一LTO编译配置 #

确保启动库本身也使用-flto=thin编译，与项目其他目标的LTO配置保持一致。如果启动库未开启LTO，会与其他LTO编译的目标产生符号兼容性问题。

验证用链接命令示例 #

调整后的Bazel链接命令参考：

/path/to/LLVMEmbeddedToolchainForArm-17.0.1-Darwin-AArch64/bin/clang
  -o bazel-out/.../blinky
  bazel-out/.../blinky.o
  -nodefaultlibs -nostdlib
  -flto=thin -fuse-ld=lld --driver-mode=g++
  '-march=armv7em' '-mfloat-abi=hard' '-mfpu=fpv4-sp-d16' -mlittle-endian
  -Os -fno-exceptions -fno-rtti '-mabi=aapcs' -mthumb '--target=armv7em-none-eabi'
  -static
  -Wl,--start-group
    bazel-out/.../libapollo4-fam-picolibc-startup.a
    ...some-dependency-libs.a...
    -T mcus/apollo4l/llvm-picolibc.ld
    -lc -lc++ -lc++abi -lunwind -lclang_rt.builtins -lm -lcrt0
  -Wl,--end-group
  -Wl,--as-needed -Wl,--no-undefined -Wl,-v -v -Wl,-S -Wl,--gc-sections

内容的提问来源于stack exchange，提问作者burnpanck