gcc 的 -Wc90-c99-compat 标志是如何工作的？

Question

我有一个类似的代码

#include <stdio.h>
#include <stdbool.h>
main() {
    bool ok = true;
    printf("%u\n", ok);
}

我正在编译它

gcc -std=c90 -Wc90-c99-compat a.c

但我没有收到任何警告。

自bool is not defined in C90 以来，我预计会收到某种警告。 The gcc documentation 声明 -Wc90-c99-compat 标志用于

[w]了解 ISO C90 中不存在但 ISO C99 中存在的功能。

你可以在这里try it yourself。我gcc的版本是7.3.0，TIO的版本是8.1.1。

我做错了什么或误解了什么？

更新。类似的东西

#include <stdio.h>
main() {
    _Bool ok = 1;
    printf("%u\n", ok);
}

确实发出警告：警告：ISO C90 不支持布尔类型。 Try it here.

我也尝试过用

预处理第一个版本

gcc -std=c90 -Wc90-c99-compat -E a.c

相关部分变为

main() {
    _Bool ok = 1;
     printf("%u\n", ok);
}

但没有提出任何错误。

更新。

正如其他人所说，我已经提交了bug report。

Answer 1

[这更像是一个评论而不是一个回答； AFAICT，这看起来像一个 gcc 错误，但有人可能会给出一个有说服力的解释]

你的例子可以简化为：

# 2 "a.c" 3
main() {
    _Bool ok = 1;
}

错误（功能？）是 cc -std=c90 -Wc90-c99-compat -Wsystem-headers 不会警告 c99 _Bool 类型，尽管有 -Wsystem-headers 选项。

预处理器行指令末尾的3 意味着它后面的代码来自系统头文件（请参阅c 预处理器docs）——删除3 会返回有关@987654328 的警告@。

如果您检查cc -E 输出，您会看到bool 和true 宏的扩展被包裹在这样的行中，因为它们是在系统标头（stdbool.h）中定义的：

$ cat a.c
#include <stdbool.h>
main() {
    bool ok = true;
}
$ gcc -E a.c
...
main() {

# 3 "a.c" 3 4
   _Bool
# 3 "a.c"
        ok =
# 3 "a.c" 3 4
             1
# 3 "a.c"
                 ;
}