Вы используете функцию из еще не выпущенной версии LLVM (10.0.0).
В моей системе (windows) ваш файл работает должным образом:
>clang-tidy10 -checks=bugprone-infinite-loop infloop.c --
1 warning generated.
\infloop.c:6:5: warning: this loop is infinite; none of its con
dition variables (i, argc) are updated in the loop body [bugprone-infinite-loop]
while (i<argc) { j++; }
^
Единственное изменение, которое я сделал для файла, - удаление ненужного #include. Я также добавил --
(double da sh) к команде, чтобы избавиться от отсутствующих ошибок базы данных компиляции. Я использую предварительно скомпилированный двоичный файл из https://llvm.org/builds/
Мое лучшее предположение здесь состоит в том, что вы используете более старую сборку clang-tidy, где это не обнаружено. Для справки, моя версия 10.0.0-e20a1e486e1, вы можете увидеть свою, запустив:
>clang-tidy --version
Я бы также проверил, действительно ли вы запускаете чеки, которые вы должны выполнить через:
$ clang-tidy -checks=bugprone-infinite-loop main.c --list-checks
PS Сначала вы получили предупреждающее сообщение на основе clang-Diagnostti c, это не имеет ничего общего с clang-tidy, а скорее с компиляцией clang