GCC 不尊重“pragma GCC diagnostic”以消除警告 [重复]

Posted 2023-02-22

【中文标题】GCC 不尊重“pragma GCC diagnostic”以消除警告 [重复]

【英文标题】：GCC does not honor 'pragma GCC diagnostic' to silence warnings [duplicate]

【发布时间】：2015-07-20 05:37:24

【问题描述】：

我们最近为一个项目启用了-Wall。它在 GCC 为 4.7 或更高版本（或 Clang）时启用，因为我们可以使用 GCC diagnostic 来管理提升警告的输出。我们希望通过源代码管理它们，而不是通过命令行参数。 （我们不想污染命令行，或者要求图书馆用户重新发现需要什么）。

在 GCC 4.8 和 5.1 下，我们正在捕获在 -Wunused-variable、-Wunused-value、-Wunused-function 和 -Wunknown-pragmas 的 GCC 诊断块中禁用的警告。两个 GCC 都接受 -fopenmp，并且都定义了 _OPENMP 来响应它，所以我很确定我们永远不会看到 -Wunknown-pragmas 来响应 #prgam omp ...（它已禁用，但它不是未知）。

g++ -DNDEBUG -g2 -O3 -Wall -march=native -pipe -c nbtheory.cpp
nbtheory.cpp:655:0: warning: ignoring #pragma omp parallel [-Wunknown-pragmas]
  #pragma omp parallel
 ^
nbtheory.cpp:656:0: warning: ignoring #pragma omp sections [-Wunknown-pragmas]
   #pragma omp sections
 ^
...

在这种特殊情况下，file nbtheroy.cpp 有以下防护措施来帮助管理该警告（仅显示相关部分，但您可以从the GitHub link 看到所有内容）：

// Defines GCC_DIAGNOSTIC_AWARE if GCC 4.7 or above.
#include <misc.h>
...

#if GCC_DIAGNOSTIC_AWARE
# pragma GCC diagnostic ignored "-Wunknown-pragmas"
#endif

...
Integer ModularRoot(const Integer &a, const Integer &dp, const Integer &dq,
                    const Integer &p, const Integer &q, const Integer &u)

    Integer p2, q2;
    #pragma omp parallel
        #pragma omp sections
        
            #pragma omp section
                p2 = ModularExponentiation((a % p), dp, p);
            #pragma omp section
                q2 = ModularExponentiation((a % q), dq, q);
        
    return CRT(p2, p, q2, q, u);

...

因为文件是*.cpp（它实际上是翻译单元），我们不在开头执行#pragma GCC diagnostic push最后是#pragma GCC diagnostic pop。 （但是，我们对包含的头文件执行此操作）。 （我们也尝试过这样做，但没有帮助）。

这里是GCC_DIAGNOSTIC_AWARE（来自misc.h）：

// Used to suppress some warnings in some header and implementation files.
//   Some platforms, like CentOS and OpenBSD, use old compilers that don't understand -Wno-unknown-pragma.
#define GCC_DIAGNOSTIC_AWARE ((__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 7)) || defined(__clang__))

我知道守卫正在工作，因为在块中添加 #error 会导致错误。此外，注释掉守卫并喊出#pragma GCC diagnostic ignored "-Wunknown-pragmas" 也无济于事。最后，它在 Clang 下运行良好。

我也遇到过其他警告，例如 -Wunused-variable、-Wunused-value 和 -Wunused-function。我真的不想像建议的那样用潜在的重复来污染命令行。

如何让GCC pragma diagnostic 机制按预期工作，以在使用-Wall 时消除 GCC 下的警告？

---

相关，如果你想复制它（它基于 GNUmakefile，不需要配置或自动工具）：

git clone https://github.com/weidai11/cryptopp.git cryptopp-warn
cd cryptopp-warn
make

编辑：我们签入了一个禁用 -Wall 的补丁，除了 Clang。如果你想重现旧的行为，那么：

git clone https://github.com/weidai11/cryptopp.git cryptopp-warn
cd cryptopp-warn
export CXXFLAGS="-g2 -O3 -DNDEBUG -Wall"
make

【问题讨论】：

我建议先删除#if/#endif（只留下#pragma GCC ...）看看GCC_DIAGNOSTIC_AWARE是否有问题。

@paxdiablo - 不高兴。我禁用了守卫，直接喊了#pragma GCC diagnostic ignored "-Wunknown-pragmas"。

谢谢@nneonneo。我也遇到了其他警告，例如-Wunused-variable 和-Wunused-value。我真的很想让GCC pragma diagnostic 工作而不是用选项污染命令行。

为什么人们会以重复的形式关闭？这里的问题是出现了许多警告（-Wunknown-pragmas、-Wunused-variable、-Wunused-value），并且不能在命令行中添加其他选项。根本问题是一个 GCC 错误，在声称的副本中甚至都没有提到。

【参考方案1】：

这似乎至少是gcc 中的一个错误。以下代码：

#pragma GCC diagnostic ignored "-Wunknown-pragmas"
#pragma GCC diagnostic ignored "-Wuninitialized"

int fn(void) 
    #pragma xyzzy
    int x;
    return x;


int main (void) 
    return fn();

忽略未初始化的x 值没有问题，但仍然抱怨编译指示（没有uninitialized 编译指示，它会如您所料生成x 的警告）。

如果您将命令行选项更改为-Wall -Wno-unknown-pragmas，那么它会忽略它就好了。这对于您的特定情况没问题，因为您希望它应用于整个翻译单元，但它不允许您从 #pragma 方法（如果有效）获得的细粒度控制。

---

我去提出关于 GCC 的错误报告，但发现它已经存在 (#53431)。

虽然该特定错误与-Wundef 有关，但其中一个 cmets 中的 sn-p 表明它可能适用于影响预处理器的所有变体（为了强调而稍作修改）：

C++ 解析器在处理编译指示之前进行词法分析（和预处理），而 C 解析器在看到编译指示时对其进行处理。

我们必须以某种方式解析cp/parser.c:631 中的这些编译指示也。也许人们可以做一些类似于我们为cp_parser_initial_pragma 做的事情，但在循环中并且只处理编译指示诊断。当然，它需要一些试验和错误才能使它正确。如果你们中的任何人想尝试一下并需要帮助，请在此处或邮件列表中询问。

这解释了为什么我们在 -Wuninitialized 上看不到同样的问题，因为它是在编译过程的后期阶段检测到的，在预处理结束时激活 pragma 之后。

因此，如果您希望看到它以更及时的方式得到修复（它是在三年前提出的），我建议（就像我一样）麻烦 GCC bugzilla 网站以尝试获得一些曝光。

【讨论】：

是的，更大的问题是这是库代码。所以我们需要修复它以便在库本身上工作。它对我们来说是一个方便的项目。但是用户希望它在包含库时“正常工作”。如果它们包含库，然后由于无法正常工作而不得不跳过命令行，那么这就是一个问题。

@jww，如果您要发布库 (.o/.a/.so/etc)，则肯定不会出现警告。还是您的库实际上是由可编译源组成的？

是的，源代码已发布。另外，一些标头会产生警告，我们尝试使用相同的方法使它们静音。

@jww，去提出一个错误，发现它是在大约三年前提出的。查看更新。

现在相关：GCC warns of Unknown Pragma for OpenMP, even though it support it。这是次要问题。我真的希望解决pragma GCC diagnostic 的主要问题。