-ffunction-sections -fdata-sections和--gc-sections不工作？

Question

我想在编译时从代码中删除未使用的函数。 然后我写了一些代码（main.c）：

#include <stdio.h>

const char *get1();

int main()
{
    puts( get1() );
}

和getall.c：

const char *get1()
{
    return "s97symmqdn-1";
}


const char *get2()
{
    return "s97symmqdn-2";
}

const char *get3()
{
    return "s97symmqdn-3";
}

Makefile文件

test1   :
        rm -f a.out *.o *.a
        gcc -ffunction-sections -fdata-sections -c main.c getall.c
        ar cr libgetall.a getall.o
        gcc -Wl,--gc-sections main.o -L. -lgetall

运行make test1 && objdump --sym a.out | grep get make test1 && objdump --sym a.out | grep get ，我只找到接下来的2行输出：

0000000000000000 l    df *ABS*  0000000000000000              getall.c
0000000000400535 g     F .text  000000000000000b              get1

我想get2和get3已被删除。 但是当我用vim打开a.out时，我发现存在s97symmqdn-1 s97symmqdn-2 s97symmqdn-3 。 函数get2 get3真的被删除了吗？ 我怎么能删除符号s97symmqdn-2 s97symmqdn-3 ？ 谢谢您的回复。 我的系统是centos7，gcc版本是4.8.5

Answer 1

编译选项-ffunction-sections -fdata-sections和linkage选项--gc-sections在您的示例中正常工作。 您的静态库是多余的，因此可以简化为：

$ gcc -ffunction-sections -fdata-sections -c main.c getall.c
$ gcc -Wl,--gc-sections main.o getall.o -Wl,-Map=mapfile

其中我也要求链接器的mapfile。

可执行文件中不存在未使用的函数get2和get3 ：

$ nm a.out | grep get
0000000000000657 T get1

并且mapfile显示在链接中丢弃了未分别定义了get2和get3的未使用的函数 - 部分.text.get2和.text.get3 ：

mapfile（1）

...
Discarded input sections
...
 .text.get2     0x0000000000000000        0xd getall.o
 .text.get3     0x0000000000000000        0xd getall.o
...

然而，正如您所发现的，所有三个字符串文字"s97symmqdn-(1|2|3)"都在程序中：

$ strings a.out | egrep 's97symmqdn-(1|2|3)'
s97symmqdn-1
s97symmqdn-2
s97symmqdn-3

这是因为-fdata-sections仅适用于__attribute__ ((__section__("name")))适用于¹的相同数据对象，即适用于具有静态存储持续时间的变量的定义。 它不适用于像"s97symmqdn-(1|2|3)"这样的匿名字符串文字。 它们都像往常一样放在.rodata部分，我们在那里找到它们：

$ objdump -s -j .rodata a.out

a.out:     file format elf64-x86-64

Contents of section .rodata:
 06ed 73393773 796d6d71 646e2d31 00733937  s97symmqdn-1.s97
 06fd 73796d6d 71646e2d 32007339 3773796d  symmqdn-2.s97sym
 070d 6d71646e 2d3300                      mqdn-3.

--gc-sections不允许链接器丢弃.rodata从程序，因为它不是一个未使用的部分：它包含"s97symmqdn-1" ，由程序中所引用get1以及未引用字符串"s97symmqdn-2"和"s97symmqdn-3"

固定

要将这三个字符串文字分成不同的数据部分，您需要将它们分配给不同的命名对象，例如

getcall.c（2）

const char *get1()
{
    static const char s[] = "s97symmqdn-1";
    return s;
}


const char *get2()
{
    static const char s[] = "s97symmqdn-2";
    return s;
}

const char *get3()
{
    static const char s[] = "s97symmqdn-3";
    return s;
}

如果我们重新编译并重新考虑这种变化，我们会看到：

mapfile（2）

...
Discarded input sections
...
 .text.get2     0x0000000000000000        0xd getall.o
 .text.get3     0x0000000000000000        0xd getall.o
 .rodata.s.1797
                0x0000000000000000        0xd getall.o
 .rodata.s.1800
                0x0000000000000000        0xd getall.o
...

现在有两个新丢弃的数据部分，它们包含我们不需要的两个字符串文字，正如我们在目标文件中看到的那样：

$ objdump -s -j .rodata.s.1797 getall.o

getall.o:     file format elf64-x86-64

Contents of section .rodata.s.1797:
 0000 73393773 796d6d71 646e2d32 00        s97symmqdn-2.

和：

$ objdump -s -j .rodata.s.1800 getall.o

getall.o:     file format elf64-x86-64

Contents of section .rodata.s.1800:
 0000 73393773 796d6d71 646e2d33 00        s97symmqdn-3.

现在只有引用的字符串"s97symmqdn-1"出现在程序的任何位置：

$ strings a.out | egrep 's97symmqdn-(1|2|3)'
s97symmqdn-1

它是程序的.rodata唯一的字符串：

$ objdump -s -j .rodata a.out

a.out:     file format elf64-x86-64

Contents of section .rodata:
 06f0 73393773 796d6d71 646e2d31 00        s97symmqdn-1.

---

[1]同样， -function-sections与使用__attribute__ ((__section__(".text.foo")))限定每个函数foo的定义具有相同的效果__attribute__ ((__section__(".text.foo")))