linux - TLS 模型上的 GCC 通用变量属性

Question

引用 GCC website .据称，

The tls_model attribute sets thread-local storage model (see Thread-Local) of a particular __thread variable, overriding -ftls-model= command-line switch on a per-variable basis. The tls_model argument should be one of global-dynamic, local-dynamic, initial-exec or local-exec. Not all targets support this attribute.

为了研究为不同 TLS 模型生成的程序集的差异，创建了一个包含三个 __thread 变量的类。

#include <cstdint>

class Holder
{
public:
    static int32_t calc();
    static int32_t calc2();
    static int32_t calc3();
    static __thread int32_t value  __attribute__ ((tls_model("initial-exec")));
    static __thread int32_t value2  __attribute__ ((tls_model("local-dynamic")));
    static __thread int32_t value3;
};

__thread int32_t Holder::value;
__thread int32_t Holder::value2;
__thread int32_t Holder::value3;

int32_t Holder::calc()
{
    return value * 2;
}

int32_t Holder::calc2()
{
    return value2 * 2;
}

int32_t Holder::calc3()
{
    return value3 * 2;
}

这是用 -c -shared -fPIC -O3 编译的标志。但是，请注意，该属性不会在相应的计算函数中产生任何差异。 (在相应的 calc 函数中都使用了 __tls_get_addr。)但是，如果 -ftls-model=initial-exec添加了标志，它确实改变了 TLS 模型，但都被覆盖以使用 inital-exec (所有使用 @gottpoff(%rip) 的计算函数)
使用在线编译器资源管理器，发现 clang (LLVM) 和 icc 似乎都尊重该属性，但不尊重 gcc。它似乎也与 GCC 网站中的描述相矛盾(基于每个变量覆盖)。大家可以试试 this并切换到不同的编译器。
GCC是否有理由删除覆盖每个变量设置的能力？还是我做错了什么或有错误的期望？
感谢您提前提供任何帮助和解释。

Answer 1

这是一个错误，可能在 C++ 前端和/或属性合并代码中。如果您从定义的声明中移动或复制属性，它会按预期工作。如果您消除定义，只留下声明，它也可以根据文档工作。基本上，每个定义似乎都没有从前面的声明中正确继承属性。这值得在 https://gnu.gnu.org/bugzilla 上报告错误。