为何我的Clang 19.1.7未检测格式字符串错误？

问题场景 #

一段C代码存在明显格式错误：用printf的%s格式符匹配int类型变量，但本地Clang 19.1.7编译时，即便添加-Wformat参数也无法触发警告；启用-Weverything时仅出现无关的"标记为未使用但实际被使用"警告。但基于Clang的include-what-you-use工具、Godbolt上的Clang 19.1.0都能正常检测到该格式不匹配问题。

出错代码 #

#include <stdio.h>

//extern int printf(const char* __restrict, ...) __attribute__ ((format (printf, 1, 2)));

void test_func(void);
void test_func(void) {
    int test_object = 0;
    printf("%s", test_object); // 正确格式符应为%d
}

本地Clang 19.1.7编译输出 #

$ clang -c -Wformat test.c

$ clang -c -Weverything test.c
test.c:7:5: warning: 'printf' was marked unused but was used [-Wused-but-marked-unused]
    7 |     printf("%s", test_object);
      |     ^
1 warning generated.

$ clang --version
clang version 19.1.7
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /nix/store/qla374n3avx7nzaw2kvq6wj9y4agiw1l-clang-19.1.7/bin

其他工具的检测结果 #

include-what-you-use工具输出：

$ include-what-you-use test.c
test.c:7:18: warning: format specifies type 'char *' but the argument has type 'int' [-Wformat]
    7 |     printf("%s", test_object);
      |             ~~   ^~~~~~~~~~~
      |             %d

(test.c has correct #includes/fwd-decls)

同时Godbolt平台上的Clang 19.1.0也能正常触发格式不匹配警告。

可能的原因 #

• printf格式检查属性缺失：Clang依赖函数的__attribute__((format(printf, 1, 2)))属性启用格式字符串类型检查。如果本地环境的stdio.h中，printf未被标记该属性，-Wformat参数就无法生效。
• Nix打包的Clang存在配置差异：你使用的是Nix包管理的Clang版本，可能编译Clang时修改了默认配置，比如禁用了格式检查相关模块，或调整了头文件的属性定义，导致功能异常。
• 版本临时回归bug：Clang 19.1.7可能存在临时bug，导致-Wformat未正确识别%s与int的不匹配，而19.1.0版本和include-what-you-use工具未受此问题影响，后续版本大概率会修复。

内容的提问来源于stack exchange，提问作者charmoniumQ