https://gcc.gnu.org/onlinedocs/gcc-7.5.0/gnat_ugn/Compilation-options.html
实际上gcc和clang均可支持。当使用-ffunction-sections -fdata-sections这两个参数编译，并且在链接时使用-Wl,–gc-sections参数，就可以将无用的代码进行删除。
编译时-ffunction-sections 和 -fdata-sections 将每个函数或符号创建为一个sections，每个sections名与function或data名保持一致；链接时-Wl,–gc-sections 指示链接器去掉不用的section。注意仅仅是去掉了不用的sections，不能解决依赖问题。
示例源文件链接在此，其逻辑如下：静态库libfoo.a的第二个函数依赖于动态库libbar.so，在main.c中引用了静态库libfoo.a的第一个函数。分别打开和关闭编译选项得到main1和main2：
|
1 2 3 4 5 6 7 8 9 10 |
alvin@chen:~/gcsections$ make gcc -fdata-sections -ffunction-sections -I. -c main1.c -o main1.o gcc -fdata-sections -ffunction-sections -c -fPIC foo.c -o foo.o ar -r libfoo.a foo.o gcc -fdata-sections -ffunction-sections -c -o bar.o bar.c gcc -fdata-sections -ffunction-sections -shared -fPIC bar.o -o libbar.so gcc -o main1 -L. -Wl,--gc-sections main1.o libfoo.a libbar.so gcc -I. -c main2.c -o main2.o gcc -o main2 main2.o libfoo.a libbar.so alvin@chen:~/gcsections$ |
查看得到的二进制文件：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
alvin@chen:~/gcsections$ objdump -d main1 | grep -5 foo 705: e9 66 ff ff ff jmpq 670 <register_tm_clones> 000000000000070a <main>: 70a: 55 push %rbp 70b: 48 89 e5 mov %rsp,%rbp 70e: e8 07 00 00 00 callq 71a <foo1> 713: b8 00 00 00 00 mov $0x0,%eax 718: 5d pop %rbp 719: c3 retq 000000000000071a <foo1>: 71a: 55 push %rbp 71b: 48 89 e5 mov %rsp,%rbp 71e: 48 8d 3d 8b 00 00 00 lea 0x8b(%rip),%rdi # 7b0 <_fini+0xc> 725: e8 b6 fe ff ff callq 5e0 <puts@plt> 72a: 90 nop |
可以看到，main1中并无foo2，虽然foo2是静态库libfoo.a的一部分。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 |
alvin@chen:~/gcsections$ objdump -d main2 | grep -5 foo 745: e9 66 ff ff ff jmpq 6b0 <register_tm_clones> 000000000000074a <main>: 74a: 55 push %rbp 74b: 48 89 e5 mov %rsp,%rbp 74e: e8 07 00 00 00 callq 75a <foo1> 753: b8 00 00 00 00 mov $0x0,%eax 758: 5d pop %rbp 759: c3 retq 000000000000075a <foo1>: 75a: 55 push %rbp 75b: 48 89 e5 mov %rsp,%rbp 75e: 48 8d 3d b3 00 00 00 lea 0xb3(%rip),%rdi # 818 <_IO_stdin_used+0x8> 765: e8 a6 fe ff ff callq 610 <puts@plt> 76a: 90 nop 76b: 5d pop %rbp 76c: c3 retq 000000000000076d <foo2>: 76d: 55 push %rbp 76e: 48 89 e5 mov %rsp,%rbp 771: e8 aa fe ff ff callq 620 <bar@plt> 776: 48 8d 3d b3 00 00 00 lea 0xb3(%rip),%rdi # 830 <_IO_stdin_used+0x20> 77d: e8 8e fe ff ff callq 610 <puts@plt> alvin@chen:~/gcsections$ |
而原生的main2中则有foo2，虽然在main函数中并未引用foo2。
此操作只会让链接器去掉无用的段，并不会减少依赖：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 |
alvin@chen:~/gcsections$ ldd main1 linux-vdso.so.1 (0x00007ffecd7f5000) libbar.so => ./libbar.so (0x00007ff83d56e000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007ff83d17d000) /lib64/ld-linux-x86-64.so.2 (0x00007ff83d972000) alvin@chen:~/gcsections$ readelf -d main1 Dynamic section at offset 0xdb8 contains 28 entries: Tag Type Name/Value 0x0000000000000001 (NEEDED) Shared library: [libbar.so] 0x0000000000000001 (NEEDED) Shared library: [libc.so.6] 0x000000000000000c (INIT) 0x5b0 0x000000000000000d (FINI) 0x7a4 0x0000000000000019 (INIT_ARRAY) 0x200da8 0x000000000000001b (INIT_ARRAYSZ) 8 (bytes) 0x000000000000001a (FINI_ARRAY) 0x200db0 0x000000000000001c (FINI_ARRAYSZ) 8 (bytes) 0x000000006ffffef5 (GNU_HASH) 0x298 0x0000000000000005 (STRTAB) 0x3f0 0x0000000000000006 (SYMTAB) 0x2d0 0x000000000000000a (STRSZ) 176 (bytes) 0x000000000000000b (SYMENT) 24 (bytes) 0x0000000000000015 (DEBUG) 0x0 0x0000000000000003 (PLTGOT) 0x200fb8 0x0000000000000002 (PLTRELSZ) 24 (bytes) 0x0000000000000014 (PLTREL) RELA 0x0000000000000017 (JMPREL) 0x598 0x0000000000000007 (RELA) 0x4d8 0x0000000000000008 (RELASZ) 192 (bytes) 0x0000000000000009 (RELAENT) 24 (bytes) 0x000000000000001e (FLAGS) BIND_NOW 0x000000006ffffffb (FLAGS_1) Flags: NOW PIE 0x000000006ffffffe (VERNEED) 0x4b8 0x000000006fffffff (VERNEEDNUM) 1 0x000000006ffffff0 (VERSYM) 0x4a0 0x000000006ffffff9 (RELACOUNT) 3 0x0000000000000000 (NULL) 0x0 alvin@chen:~/gcsections$ |