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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O1 and above on x86_64-linux_gnu (compiled code hangs)
        </td>
    </tr>

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

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

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

<pre>
    It appears to be a recent regression and does not reproduce with 15.*. 

Compiler Explorer: https://godbolt.org/z/qqjoW5fes

```
[584] % clangtk -v
clang version 16.0.0 (https://github.com/llvm/llvm-project.git ff25800d4ba0b577a44dc918da7a1fb3c29fdb13)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[585] %
[585] % clangtk -O1 small.c
[586] % timeout -s 9 5 ./a.out
Killed
[587] %
[587] % cat small.c
int a;
int main() {
  int b;
  while (a)
    ;
  while (!(~a && (a <= -2UL && a <= -2UL)))
    if (b)
      a = b;
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VU2P2zYQ_TX0ZWCBGn0fdNi1qyJogR7aoseAEkcyE5p0SGq93UN_e0HJ63i3QYGiMSDY5vDNm8cx9UZ4ryZD1LLikRX7jZjDwbr25UBGWjP5edNb-Wf7IYA4nUg4D8FCTyDA0UAmgKPJkffKGhBGgrTkwdgYPzkr54HgrMIB0iJh-JAA43vGH9bPnT2elCYHPzyftHXkWPYAhxBOnmUPDDuG3WRlb3VIrJsYdi8Muy9fPtk_ipH8LRMr-eVZl8VjUees2APDAgYtzBQ-w_Zp3V3W8ERuEZ2WCU84MKzfVVbhMPfJYI8MO62fXr-2J2c_0RCSSQUYRyxqzmXeC94XVSXyXA5NWktRiXTsswGbUfZpxrBZa_8m3EQhnvO5Lj-W-XY2n409m61WZn7eTma-4A6OhISjlaQj-mS9el63PhgfhNYk92ppWNRlB6EZdn5-2b7-tqdxfokN65VZEzs7GwmDMFJJEQh-3O1ArWQiKGsuZLN3kVL1sQnDwLBTZV3eCMSu_p-El7PfUqb8Dpzp9-cs70CZFMkdTl_dgfI-Si_X6VfSNASS3-U_312VHWcdVMzKHiBh2SPL-bHM35X8N9DiJsXFTb4R-mowv6Tgj0LrZLiBla-woI5k5wBbDw0UkDDsRGLnsGJ_UvGdvsmr_lmxulYU4W0lZQKIqPu6OgplGNYMG2DVJQ4Qd_orDuB8UJqi-YmrRQEAfAvBMGVY_yWAYcmwXJKAZTuW7WGLv__8Gn8TjKzrc-VWY0zt38Rgydq_keYozM4Av4ZYtX_n9hvZZrLJGrGhNi0r5GWOBd8c2mwQRYMp1gPKoufFSDxrhp73ZTNiVqUb1SJHTBHLNE-rjCcjp6oizPN6SEuBOcs5HYXSSfT8OH42yvuZ2qKpeL7Roiftl5mJaOgMyyZDjCPUtcuc6OfJs5xr5YP_yhJU0NSenTUTDFYSiLDcmzg7RW-fCKyB23v9cTJzbNiwDku5Zh2EmTzDZjM73f63wRUNPar1DLvlNH8HAAD__7gdY28">