哪些是非ISO实践的例子，而这些都不是书呆子们发现的？

Question

https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html：

一些用户试图使用-Wpedantic来检查程序是否严格符合ISO C标准。他们很快发现它并没有达到他们想要的效果：它找到了一些非ISO实践，但不仅仅是ISO C要求诊断的那些实践，还有一些已经添加了诊断的实践。

-迂腐没有找到的非ISO实践示例有哪些？

Answer 1

1. C预处理器，11.1实现定义的行为：

GCC允许标识符中的“$”字符作为大多数目标的扩展。无论std=开关如何，这都是正确的，因为此扩展不能与符合标准的程序冲突。但是，当预处理汇编器时，默认情况下美元不是标识符字符。

UPD。2.允许“普通<代码>复杂<代码>”：

#include <complex.h>
complex x;

$ gcc t0.c -std=c11 -pedantic -Wall -Wextra
<nothing>

C11,6.2.5类型，11：

有三种复合类型，分别为float\u complex，double\u complex，和long double\u complex。

和7.3.1引言，4：

宏复合体扩展为_复合体；

UPD。3.\uuuu具有属性：

#if __has_attribute(xxx)
#endif
int x;

$ gcc t0.c -std=c11 -pedantic -Wall -Wextra
<nothing>

Answer 2

GCC支持ISO C不要求的其他形式的常量表达式。例如：

int main() {
  const int m = 5;
  static int n = m;
  return n;
}

这段代码在“学究式”模式下编译得很好，即使静态变量是用不符合ISO C的常量表达式初始化的。

Answer 3

这里的问题基本上是，编写包含错误的C程序（不仅仅是实现严格一致性的失败）是可能的，要求C编译器检测这些错误是不合理的。在最初编写标准时（1989年），整个程序分析是不可能的，即使是现在，它也很昂贵。一个人总是能够创造出这样的结构

extern _Bool collatz_sequence_does_not_terminate(int);
int foo(int n) {
    int rv;
    if (collatz_sequence_does_not_terminate(n)) {
        return rv;
    }
    return 23;
}

“这个程序是否有未定义的行为”的答案取决于解决方案未知的数学问题。

所以手册试图警告您，不仅GCC无法检测到所有可能违反ISO C一致性的行为，而且没有编译器可以。它的措辞有点过于精确，如果我仍然在GCC上工作，我可能会修改它以更清楚。

如果你想要一个具体的例子，说明程序不合格，根本没有被诊断出来，并且在现实生活中相对可能出现，试试这个大小：

/* a.c */
#include <stdint.h>
uint64_t val = 0x0123456789abcdef;

/* b.c */
#include <stdio.h>
extern double val;
int main(void) {
    printf("%g\n", val);
    return 0;
}

需要对整个程序进行分析，以检测两个文件之间的类型不匹配。这不是一个困难的案例；编译器可以用其类型注释每个全局符号，链接器可以检查每个符号的所有用法是否与定义一致。但我不知道有任何工具链，也没有任何静态分析产品，可以检测变量的这种错误。