为何Clang diagnostics可检测全部警告，而clang-check却不能？

先看这段C代码：

#include <stdio.h>
enum index{ one = 5, two, three, four, five };
int fun(){
    int arr[3] = {1,2,3};
    int i = arr[index::one];
    printf("%d\n", i);
    int j = arr[index::four];
    printf("%d\n", j);
    return 0;
}

实际测试中发现：Clang diagnostics能检测出两个警告（这其实是符合预期的），但clang-check只报告一个错误，而且两者的警告/错误信息还不一样。想请教：为什么Clang diagnostics能找出所有警告，而clang-check却做不到？

这背后其实是两款工具的定位、默认行为差异导致的，具体来说：

• 工具的核心定位不一样

  • Clang diagnostics是Clang编译器自带的诊断系统，它的本职工作就是在编译环节尽可能全面地揪出代码里的所有问题——不管是语法错误、类型不匹配，还是数组越界这种有运行时风险的警告，默认就会启用绝大多数诊断规则，所以能把两个越界访问都抓出来。
  • 而clang-check是一款专注于静态分析的工具，它更偏向于检查代码的静态分析规则（比如代码风格问题、常见bug模式），默认不会启用编译器级别的所有诊断检查，很多编译器默认报的警告都会被它忽略。

• 默认启用的检查集不同
  你的代码里，arr[index::one]（index::one的值是5）和arr[index::four]（index::four的值是8）都是明显的数组越界访问。Clang编译器默认就会对这类越界操作发出警告，所以两个问题都能被检测到。
  但clang-check默认只开启了基础语法检查和部分静态分析规则，对于数组越界这类编译器级别的警告，它默认没启用对应的检查项。如果想要让它检测到所有这类问题，你得手动通过-enable-checker参数指定启用相关检查器，比如core.ArrayBound。

• 错误/警告的判定逻辑有差异
  另外，clang-check有时候会把编译器认定为警告的问题标记成错误，或者只有触发特定检查器时才会报告问题。比如它可能只在第一个越界访问时触发了某个基础检查，第二个没触发，就只输出了一个错误，这也导致了两者的信息不一致。

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