为什么gcc会生成没有标志-fno-pie的奇怪代码？

Question

我正在尝试在带有标志-fno-pie且不包含标志的gcc中编译伪函数。

void dummy_test_entrypoint() { }

当我编译时没有标志。

gcc -m32 -ffreestanding -c test.c -o test.o

我得到以下反汇编代码。

00000000 <dummy_test_entrypoint>:
0:  55                      push   ebp
1:  89 e5                   mov    ebp,esp
3:  e8 fc ff ff ff          call   4 <dummy_test_entrypoint+0x4>
8:  05 01 00 00 00          add    eax,0x1
d:  90                      nop
e:  5d                      pop    ebp
f:  c3                      ret    

当我用标志编译时。

00000000 <dummy_test_entrypoint>:
0:  55                      push   ebp
1:  89 e5                   mov    ebp,esp
3:  90                      nop
4:  5d                      pop    ebp
5:  c3                      ret 

我的问题。

这是什么？

3:  e8 fc ff ff ff          call   4 <dummy_test_entrypoint+0x4>
8:  05 01 00 00 00          add    eax,0x1

Answer 1

您在没有--reloc标志的情况下反汇编了目标文件，因此输出具有误导性。借助--reloc标志，您将看到：

   3:   e8 fc ff ff ff          call   4 <dummy_test_entrypoint+0x4>
            4: R_386_PC32   __x86.get_pc_thunk.ax
   8:   05 01 00 00 00          add    $0x1,%eax
            9: R_386_GOTPC  _GLOBAL_OFFSET_TABLE_

子例程如下所示：

00000000 <__x86.get_pc_thunk.ax>:
   0:   8b 04 24                mov    (%esp),%eax
   3:   c3                      ret    

此函数将GOT指针加载到%eax中，以防函数需要引用全局数据。该函数不包含此类引用，但是由于您未经优化就编译了代码，因此GCC并未删除无效代码。