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

    <tr>
        <th>Summary</th>
        <td>
            Ubsan and _BitInt with shifts does not get along
        </td>
    </tr>

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

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

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

<pre>
    Take:
```
_BitInt (255) bi = -1;
int
main ()
{
  bi = 0 >> bi;
  return 0;
}
```
This causes an internal assert in the sanitizers:
```
UndefinedBehaviorSanitizer: CHECK failed: ubsan_value.cpp:86 "((0 && "unexpected bit width")) != (0)" (0x0, 0x0) (tid=1)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0Uk1v2zAM_TX0hWggUXYcH3xImgYbdlx7LmSbibk6cmDRbbdfP1hN2ssGGOCH3yMen-hjlFNgrqHYQbHP_Kz9ONUXCfFFfNaM3e_60b8wuC2YPZgtrM31S-XzTvR7UATaUFEAVdgIgtvjnQW3-8BI0I_k7CUsSKDqOqy8QvBGMwjuAdwDNvLJR5xY5ymg-WxBuf-nnMdeIrZ-jhzRB5SgPAU_oI-RJ0UJqD1j9EFU_vAU_7fWU-j4KIG7Hff-Vcbp540Cbov33x7uf-DRy8DdUs9N9OH51Q8zr9rLBdx2s0YgSqtuDAKtgVJnDvx-4Va5w0YU36TTPgGrxTogu3iwcFKHUvpugO4xhQWyUenA7e2XiTfpWVe7rnKVz7i2pXGWbFFR1temPR5tXm68Laqy8a1t1rz2FZm8s3nOnElNhpwlssbaqqAVE21Km7dETZnnvoHc8NnLsBqG1_NqnE6ZxDhzXa6tddngGx5iOiGiwG-Yfi57FftsqhfOXTOfIuRmkKjxa4qKDlw_Lf6hDx3ezulNtMfYy1EjdiNHDKPiiRX9MIZTNk9D3ate0vvRAehwEu3nZtWOZ6DDMv4a7i7T-ItbBTokURHokET_DQAA___eBNru">