如何在公共API边界用LTO优化静态库并清除冗余内部代码

问题核心 #

你遇到的是LTO优化后内部函数代码残留的问题：虽然内部函数已被内联到公共API中，但由于链接阶段未正确启用垃圾回收（GC）、符号可见性约束不足，导致冗余的符号和机器码仍被保留。

分步解决方案 #

1. 严格约束内部符号的可见性

在internal.h中显式标记所有内部函数为hidden可见性，从声明层面杜绝外部可见性：

#pragma once
#pragma GCC visibility push(hidden)

int internal_function_1(int a);
void internal_function_2(int a, int b);
int internal_function_3(int a, int b);

#pragma GCC visibility pop

同时在internal.c的函数定义前可补充属性，强化约束：

__attribute__((visibility("hidden")))
int internal_function_1(int a) {
    // 函数实现
}

2. 精简编译命令

移除重复的编译选项，保证LTO和可见性设置生效：

# 编译内部模块
arm-zephyr-eabi-gcc -ffunction-sections -fdata-sections -Os -flto -g3 -fvisibility=internal -c internal.c -o internal.c.obj <arch flags>
# 编译公共模块
arm-zephyr-eabi-gcc -ffunction-sections -fdata-sections -Os -flto -g3 -fvisibility=internal -c public.c -o public.c.obj <arch flags>

3. 优化库构建流程，启用代码垃圾回收

放弃直接使用-r部分链接的方式，改为先归档为LTO静态库，再通过链接器彻底清除未使用代码：

# 1. 创建初始LTO静态库
ar rcs libtemp.a internal.c.obj public.c.obj

# 2. 链接时启用LTO和代码段GC，生成仅含必要代码的可重定位目标文件
arm-zephyr-eabi-gcc -ffunction-sections -fdata-sections -Os -flto -g3 \
  -Wl,--gc-sections -Wl,-r -nostdlib \
  -o liboptimized.o libtemp.a

# 3. 将优化后的目标文件重新归档为最终静态库
ar rcs libmylib.a liboptimized.o

• --gc-sections：基于LTO的跨文件引用分析，删除未被公共API引用的函数/数据段
• -Wl,-r：生成可重定位目标文件，保证静态库能正常被后续链接使用
• -nostdlib：避免链接无关系统库，减少冗余

4. 精准清理符号（可选）

如果仍有冗余符号残留，用strip精准保留公共API符号：

strip --strip-unneeded --keep-symbol=public_function_1 --keep-symbol=public_function_2 --keep-symbol=public_function_3 libmylib.a

原理说明 #

• 显式的可见性标记让链接器明确内部符号无外部引用需求，不会因“潜在外部调用”的假设保留冗余代码。
• LTO结合--gc-sections能跨文件分析代码引用关系，确认内部函数仅被内联调用后，彻底删除其独立的机器码段。

内容的提问来源于stack exchange，提问作者e-rk