<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/59969>59969</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Clang-analyzer checks don't work with clang-tidy 14+
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          TimStricker
      </td>
    </tr>
</table>

<pre>
    Hi everyone!

So I am not sure if I am missing something but I cannot get even the most basic clang-analyzer checks to work with any clang-tidy version higher than 13. 

## Steps to reproduce

Given some example code (`src/test-clang-tidy.cc`):
```cpp
#include <iostream>

void PrintDivision(int numerator, int divisor) {
  std::cout << "Division result: " << numerator / divisor << std::endl;
}

int main() {
 PrintDivision(8, 4);
  PrintDivision(8, 0);
}
```

And the following simple `CMakeLists.txt`: 
```cmake
cmake_minimum_required(VERSION 3.10)
project(test-clang-tidy)

SET(CMAKE_CXX_STANDARD 17)

add_executable(test-clang-tidy src/test-clang-tidy.cc)
```

When I do this:
```sh
$ mkdir build && cd build
$ export CXX=clang++-13
$ cmake .. -DCMAKE_EXPORT_COMPILE_COMMANDS=1 && make
$ clang-tidy-13 ../src/test-clang-tidy.cc --checks=-*,clang-analyzer-*
```

`clang-tidy` issues the following warning: `warning: Division by zero [clang-analyzer-core.DivideZero]`

If I do the same thing with 14 instead (also tested with 15 and 16), I get no error at all. Other checks (not clang-analyzer related) seem to work fine. Is there something wrong with my setup or is that an actual issue?

I'm on Ubuntu 22.04 (but also tested in 18.04 and 20.04 containers).
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0VU1zozgQ_TXtS5cpkACbgw-OiXddO5lMTbK7qb2khGgbbUDySiKO59dvCX-OZ6bKZUB6dL_ufjwJ59RGE80gu4OsHIneN8bOnlX35K2Sb2RHlan3s98V0jvZvdEELIG4hHh--H8yuELRoTYeXW8J1fqw0CnnlN6gMx35JtxVvccVSqEDdkM-hNToG8LOOI-VcEqibIXejIUW7f4bWZQNyTeH3uDO2DfcKd-g0PsjzKt6j-9knTIaG7VpyKJvhMaER3jNEhgHxvHJ03YIZmlrTd1Lugb9pgKfwBfpQ3TbllCamhDYFPLYWQls6cn58SV5JCXkMbAC-ClTHh9-crs951Zatn2IxBfKOG9JdMDvr3O_G1XjF6u0L9W7CvUAmyrtUfcdWeGNBbbAsFCH_fBYIEzuDm8jOl8HCnwuTe9DHuALBMZO0dCS61sPfB5WT4BzcAS2PEU-bZ5Dkq5b4MdUMCmveQdGnVCB7feMbmuZBv7p0Kkz6Z9i4mvMJduprdfJ57oe5LM2bWt2g9jUMDbI48WDeKNPynkX-Q8fXgyl34yoE29HBQy3r53Squu7V0v_9cpSDWz61_3Xp9XjZ-RRMjAb0Ftr_iXpgU1v9HBGHD-O-2dg08XD_I_718XLy-vT8_xzOf9aYjK5QYq6fqUPkr0XVUs_BsZfyu8c52cd-rshjSusDfpGuR9F6pqTRlPs3mplsepVWyOwHFiOsj48X0D0sTXW4-LlBXg5EAF2B-xunPALaGgmRhGOy0Pt9y9fHr8-vy4eH76sPt2H68P8c_kEvExOqS6jGCKcSxwnHKMI2PJXDcDx-GASwMsxsDmwxfceMiz-ukVBB5f55TEq53pyN8LaCauV3gwiyuOrp_MHVu3xG1mDkN3d5JfGUhRwNf1D1kBW3lBYrU8zInSiIzz45WB2SYpKO08iDGUqWmcw9IDq43aGQteY5EEHbIGrwVi1QbLWWBQeRdtG-Oibi5kCmwYHvnFaS63wQfIFOqLubLlrpSnC1dAQS1d2vrPmRLLboyPfb9FYVAEZ8moU0veiPTQU-PK7koFNOjQa_6x67XtkLIrTwCwcEtdVKo3JNOyFMlkc7qTRXihN1gErolE943XBCzGiWZJPeJbGSVqMmplI11WcJ6yQOZ8yueZ5kmQTtk7SKktlnozUjMWMx0nCkjzJ0iKiOM6qZDrNYi5jkWeQxtQJ1UZt-95Fxm5GQymzrCjyYtSKilo3nJyMadod62QsHKR2Ft4ZV_3GQRq3gw-do3jlW5otfnrS1cEJJ_7quLsygSQFdjfqbTtrvN8O3zNbAltulG_6KpKmA7YMaY6X8dmolgdVA1sO5P8PAAD__xU9bqU">