GCC确实可以跨模块删除不可访问的函数，但它将无法在您的最后一个测试用例中确定代码已经死亡，因为FEATURE_X的常量值将被确定得太晚。
如果你将使用-D方式或将你的const int FEATURE_X=0;放入每个模块中，那么是的，代码将被消除。

LTO导致死代码消除的示例

测试设置：
notmain.c

int notmain(int i) {
    return i + 1;
}

int notmain2(int i) {
    return i + 2;
}

字符串
main.c

int notmain(int);

int main(int argc, char **argv) {
    return notmain(argc);
}

型

无LTO的对照实验

不使用LTO编译和反汇编：

gcc -O3 -c notmain.c
gcc -O3 notmain.o main.c
objdump -d a.out

型
输出包含：

0000000000001040 <main>:
    1040:       f3 0f 1e fa             endbr64
    1044:       e9 f7 00 00 00          jmp    1140 <notmain>
    1049:       0f 1f 80 00 00 00 00    nopl   0x0(%rax)

0000000000001140 <notmain>:
    1140:       f3 0f 1e fa             endbr64
    1144:       8d 47 01                lea    0x1(%rdi),%eax
    1147:       c3                      ret
    1148:       0f 1f 84 00 00 00 00    nopl   0x0(%rax,%rax,1)
    114f:       00

0000000000001150 <notmain2>:
    1150:       f3 0f 1e fa             endbr64
    1154:       8d 47 02                lea    0x2(%rdi),%eax
    1157:       c3                      ret

型
所以没有删除无用的notmain2。
我们也可以看看对象的大小：

size a.out

型
其输出：

text    data     bss     dec     hex filename
   1304     544       8    1856     740 a.out

型
此外，作为奖励，我们注意到函数调用不是内联的：

0000000000001040 <main>:
    1040:       f3 0f 1e fa             endbr64
    1044:       e9 f7 00 00 00          jmp    1140 <notmain>
    1049:       0f 1f 80 00 00 00 00    nopl   0x0(%rax)

型

观察LTO执行DCE

gcc -c -flto -O3 notmain.c
gcc -flto -O3 notmain.o main.c
objdump -d a.out

型
输出不包含notmain和notmain2符号。所有内容都完全内联到main中，它在一条指令中将第一个参数rdi加1，并将其放入返回寄存器eax中：

0000000000001040 <main>:
    1040:       f3 0f 1e fa             endbr64
    1044:       8d 47 01                lea    0x1(%rdi),%eax
    1047:       c3                      ret
    1048:       0f 1f 84 00 00 00 00    nopl   0x0(%rax,%rax,1)

型
Inlining还提到：链接时间优化和内联
漂亮。检查尺寸：

size a.out

型
产出：

text    data     bss     dec     hex filename
   1217     544       8    1769     6e9 a.out

型
并且我们看到由于内联和死代码消除，文本大小如所期望的那样更小。

LTO执行DCE，即使没有发生内联

在上面的示例中，不清楚是否只有在涉及内联时才会消除函数DCE。让我们用以下代码来测试一下：

int __attribute__ ((noinline)) notmain(int i) {
    return i + 1;
}

型
编译和反汇编：

gcc -c -flto -O3 notmain.c
gcc -flto -O3 notmain.o main.c
objdump -d a.out

型
输出包含：

0000000000001040 <main>:
    1040:       f3 0f 1e fa             endbr64
    1044:       e9 f7 00 00 00          jmp    1140 <notmain>
    1049:       0f 1f 80 00 00 00 00    nopl   0x0(%rax)

0000000000001140 <notmain>:
    1140:       8d 47 01                lea    0x1(%rdi),%eax
    1143:       c3                      ret

型
没有notmain2。因此，即使notmain没有被删除，无用的notmain2也被删除了。

使用-O0编译notmain.c时不会删除函数

我不明白为什么：Why GCC does not do function dead code elimination with LTO when compiling the object file with -O0?
在Ubuntu 23.04 amd64，GCC 12.2.0上测试。