GCC 可以合并重复的全局字符串数组吗？

Question

我一直想知道是否可以使用带有一些优化标志的 GCC 进行编译以避免 .rodata 部分有两个重复的数组？因此，内存地址将是相同的。例如：

const char str [7] = "string";

const char str1 [7] = "string";


int printf (const char * format, ...);

int main (void) {

      if (str == str1)
          printf ("Equal memory addresses");

      return 0;

}

那么在上面这个例子中，编译器是否有可能以某种方式使用相同的内存地址？

Answer 1

GCC 的-fmerge-all-constants（也暗示-fmerge-constants）可以解决问题。 It's documentation:

-fmerge-all-constants

尝试合并相同的常量和相同的变量。

此选项暗示-fmerge-constants。除了-fmerge-constants 这考虑例如甚至常量初始化数组或具有整数或浮点类型的初始化常量变量。 C 或 C++ 等语言要求每个变量（包括递归调用中同一变量的多个实例）具有不同的位置，因此使用此选项会导致不一致的行为。

请注意，GCC 不保证常量会被合并，因此您不应依赖它来执行程序行为。它将尝试合并它可以合并的内容，但某些常量可能无法合并。

输入代码：

#include <stdio.h>

const char str1[7] = "string";
const char str2[7] = "string";

int main() {
    puts(str1);
    puts(str2);
}

Output assembly:

main:
        sub     rsp, 8
        mov     edi, OFFSET FLAT:str1
        call    puts
        mov     edi, OFFSET FLAT:_ZL4str2
        call    puts
        xor     eax, eax
        add     rsp, 8
        ret
str1:
        .string "string"