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

    <tr>
        <th>Summary</th>
        <td>
            [clang-tidy] add a check to report invalid float to int cast
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang-tidy,
            check-request
      </td>
    </tr>

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

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

<pre>
    Is it meaningful to add a new check or integrate into some other check, to check casting a float value to integer without checking bound or already out of limitation 

```c++
auto Abc = static_cast<unsigned>(-10.0);
```
This code causes undefined behavior. (in AArch64  is 0 and in x86 is -10)



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUk1v2zAM_TXyhUgg0bEbH3xIkwXbffdBlmibmyJ1-kjXfz_ICbBiAEGb5OMjaT-dEi-eaBTdq-gujS55DXH8SjGeNctBvjRTsB_jtwSc4Ubas1_m4iAH0NaCBk_vYFYyvyBEYJ9piTpTfQuQwo0g5JXiAyLwXBsfcKNTZr-AhtkFneGuXaFa3kgowjvnNZT8gFfkFIq3dYx2kbT9gFoNMzi-cdaZgwchL0Kenr6XDzMCX6ttWV1ygNNkQLQXSLXN_KiriPZc_PYxrGi_CDzulNxLgYNoX__je4TfV05ggiUwuiRKULylmT1ZmGjVdw5xDwKP7OF0imbtDwCcQIL2FtjDn2Nf453ahnzee_ONHVs7tINuaFT9UakeB2ybdVQoX6jvh2nGgY7Toe_V3FrdTVM3K-xUwyNKbOVBSVQHlO1eyckqNRuFL4NRWomDpJtmt3fuftuHuDScUqGxR9lh4_RELm2CQDRO-2WX2X4IRIHnmqq_Yxfpd6GUa7a7NHGsVLupLEkcpOOU0z_yzNltAvtE1l2e8nloIQeI9BZiBvZ37dg-NfFQwyaVpkQ3rjm_JdGeBF4FXhfOa5n2JtwEXuu452P3FsNPMlngdTssCbxut_0NAAD__-JA7Ao">