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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O1 and above on x86_64-linux_gnu
        </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 as it works for 15.0.0.

Compiler Explorer: https://godbolt.org/z/9j578e54x

```
[582] % clangtk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git ab8d7ea4862805077e1606f587c82182b6060068)
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
[583] % 
[583] % clangtk -O1 small.c
[584] % ./a.out
Aborted
[585] % 
[585] % cat small.c
int main() {
 int a;
  for (a = 2; a >= 0; a--)
    ;
  unsigned b = -1 % a;
 a = b;
  if (a != 0)
    __builtin_abort ();
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VU2P4zYP_jXyhYghy1_ywYdksn6xp_fQ3gPZYhztKFKgj5np_PpCdmbqDhYFim6AIBFF8uFDRngovFezQexJfSD1MRMxXKzr3y9opDWzj9lo5R_99wDidkPhPAQLI4IAhxOaAA5nh94ra0B4UAFerXv2cLYOijqnOc0JPRK6X7-f7PWmNDr49nbT1qEj5R4uIdw8KfeEDYQNs5Wj1SG3biZseCds6H7ULce6etsikYbeP6tZH2rOSH0EwmqYtDBzeIbdy-pdbHhBt_As2sQLCONfKqtwiWM-2Sthg9YvHz-7m7M_cAr5rAKIkcsWRcUbxmlN2xaLhjbnmrcTZwVnY0MbShtOWLfW_l24GUPq8403p6baRfNs7KvZaWXi22428R53cSgkXK1EnaJv1qt7x9-ND0JrlEe1DCzxspPQhA0-vu8-zvZ2ju9pYKMya-Jgo5EwCSOVFAHhf09PoFYwEZQ1d7DoXYJUYxrCNBE2qIY3G4Js4P8R8N77FrKgD8Asfj1m8wDIvM4f0H37AMjHML0_p99Q4xRQ_pL__OmT2TXqoFJWuYeclAdS0WtTfSn5T0GLmpQfavKzu0-F-X8B_iq0zqdNWPURlhM2iNzGsDr3o3UB5Say_kmRz7tJhL-DKxPgKpQhLOkLkPaw3kNyiNTEai7ySxgXQMojMFIeIB2_JYsu1m73KVAAAJvUaJaNIGFcknfFQmUDvoKOmxR1vhdjxVphC306jVHpoMxJpO5h5b7JdhiiMwuv-xDa4xeNz2Rfyq7sRIZ90bS8orQt6-zSy0ryrkQuqop157KqSknLkbG26c4N7VimekZZSUvaMcbqss7PAhlvcTyf207ySpKK4lUonSelT0snU95H7JuiLFimxYjaL8uRMYOvsDgJS5smc_2yHcY4e1JRrXzwf6EEFTT2r86aGSYrEURYHoswEsRoXxCsge1rPs0mZtHp_t8tpSTWiZNPspI4_xkAAP__hbZSSg">