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

    <tr>
        <th>Summary</th>
        <td>
            [clang-tidy][ExceptionAnalyzer] Does not model `noexcept` bounds
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang-tidy
      </td>
    </tr>

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

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

<pre>
    https://godbolt.org/z/14E6r8a7s

```
bool cond();

void callee() noexcept {
    if(cond())
        throw 42;
}

void caller() noexcept {
    callee();
}
```

Even if an exception is thrown in `callee()`, it will terminate the program,
so as far as `caller()` is concerned, `callee()`does not throw.

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx9Uttu2zAM_Rr5Rahhy_cHP6RzCgzY0_5AF9rWoEiBJKdLv360nbTpVkygLgTJcw4JCaeu_RzjOZDiQNgL2uSUcCamzk_oveHOy2PtW94Ekg0kO9zOOrvZ5grnDJXOKsJawjpSPD8mX5xWVHJjAPY4tQ5-SzhHSppbJsWlRww_oKC9x9YVZ-9eack-4Jvhax7_X55HKV9gfW5tP48XsKiPckt3RO3QD7skfFmKBZ9wsZ59ozrSV20MjeBP2vIIWAH07N3k-QkTdvTgKA905H697kD-HWglwrFI8BbUivovl3IQsNu4C0p32ET1heqKjidRRwM9qZ6l4XZ6ilpdSTWgf7w3c7DcXN-QtBrocAc7OQVmZbvPcRUj3GJVSBZv_v46Os6LSKXDxl6MudyvJ2z3F8iIrg5hgYCPquyqOpl71bSCC9G2eTeWY1GMLeOFqgslOS87JRPDBZiwSieMPahnDJUmumcZY1mZN3nHWFGn-VhVMEoh26JrZA6kzODEtUlXIeunTny_aRLLFDBodIjhI8hD0JOFbVQrPl_i7Hz_AwQouPz8nmwN9Jv6P0Wg9jc">