关于gcc-O和更高版本的死代码删除程序

Question

我写了一个像这样的简单代码

#include <stdlib.h>
#include <stdio.h>

//#define CONFIG_TARGET_X86_64

#ifdef CONFIG_TARGET_X86_64
static void A( )
{
    printf("A\n");
}
#else
void A( );
#endif

static void B( )
{
    printf("B\n");
}


static int xx( )
{
#ifdef CONFIG_TARGET_X86_64
  return 1;
#else
  return 0;
#endif
}

int main(void)
{
  if (xx( ))   /* define CONFIG_TARGET_X86_64 */
    A( );
  else
    B( );
}

如果我们不定义< code > CONFIG _ TARGET _ X86 _ 64 ，< code>xx( )将始终返回< code>FALSE，所以只声明而未实现的functiopn A将永远不会被调用(死代码)。

用gcc-O0编译它

/tmp/cctSpgGk.o: In function `main':
1.c:(.text+0x34): undefined reference to `A'
collect2: error: ld returned 1 exit status

但它可以由-O1或更高版本编译。

使用GCC 6.1.0版

O1选项中的一个优化选项似乎消除了死代码，我看到了关于GCC的优化文档

https://gcc.gnu.org/onlinedocs/gcc-6.4.0/gcc/Optimize-Options.html

但我找不到。

所以我只想在-O0选项下编译这段代码，可能吗？有没有一些优化标志可以帮我做到这一点？

谢啦

Answer 1

您可以声明A为弱：

void A (void) __attribute__ ((weak));

然后链接器将忽略未定义的符号引用，但调用此函数将导致崩溃。

Answer 2

这里值得注意的是，这声明了一个方法签名：

void A( );

其中声明了一个方法实现:

void A( ) { };

这两者之间有巨大的区别。

如果使用调用引用函数，则需要实现它。编译器将根据其他因素决定是否优化该函数调用，但它需要知道该函数做什么，而不仅仅是如何调用。