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

    <tr>
        <th>Summary</th>
        <td>
            `((cst << x) & 1)` --> `x == 0` when cst is odd
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Test case:
https://godbolt.org/z/15x6fe7vr
```cpp
int f3(int c)
{
 return ((3 << c) & 1);
}
```

See Also: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96669
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxckdGunCAQhp9mvCFrcFDUCy72HOsLtPcN6qi0rGwAz27P0ze4e9J0EyMzMD_z840OwSwbkYLqDaou03tcnVe_T9p7dwvZ4KY_6geFyEYdCMQZeAf8vMZ4DSnDHrBf3DQ4G3PnF8D-E7Avqrucqf7wj3KQ_PGN1-tjx2yRzQKwScEI2D4L67dHwDzF3W8MsAFsBAPxDuL9qGSAkhVJIt6-VN1Ln2d6_L8TsbMNDsSZvfgex3zZ9qfvYV8-jbUasA-ru_0c9iUfFwOiNxOIrpVSttmkxNSKVmekiprzlrdc8mxVjSYhUdKARO2k57IaZjnXdVPXRd1yyoxCjqIosCp4WSLPp7mc26qqqND1RMMMJaeLNja39uOSLGUmhJ1ULURTZlYPZMMxJcSNbuw4BMQ0NK-S5jTsS4CSWxNi-HdLNNGSSkwOlGOIXzDv_8GUnJ1OIL4xkPzOQHQgOpZYsttKG0s6E5ibpmz3Vr2ANHHdh3x0F8A-dX4up6t3v2iMgP3hNwD2x3v-BgAA___fL7Qo">