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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O{s,2,3} 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 doesn't reproduce with 18.1.0 and earlier.

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

```
[512] % clangtk -v
clang version 19.0.0git (https://github.com/llvm/llvm-project.git 765e2f9a8de27cc8fd8c75540844e9630d8229ad)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/software/local/clang-trunk/bin
Build config: +assertions
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/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[513] % 
[513] % clangtk -O1 small.c; ./a.out
1
[514] % clangtk -O3 small.c; ./a.out
-2
1
[515] % cat small.c
int printf(const char *, ...);
int a, b, c, e;
char d;
int main() {
  int f = 1;
  unsigned g = 1;
  for (; c < 2; c++) {
    if (g)
      b = 1;
    char h = f;
    f = ~h;
 d = ~b - ~g * (a || f);
    g = ~g;
    if (g < 1)
      break;
 if (d)
      printf("%d\n", g);
    f = e;
  }
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VUGPqzYQ_jWTyygIDAQ4cNiQUr1D9Q7tvTL2QNx17Mg2u9t3eL-9MmTZ3Wz1pEqvESJmvm_G32fMmHuvJkPUQnmE8rTjczhb1347k5HWTH7eDVb-3X4JyK9X4s5jsDgQcnQkyAR0NDnyXlmD3KMKKC15A6yK0NVZOQvCZxXOmNVJlqTIjUTiTityCaQnSB_We2cvV6XJ4S8vV20dOcgf8BzC1UP-AKwH1k9WDlaHxLoJWP8NWG_Lpnzxv8nhfSU4pLdrfSyPZcagPCGwEoXmZgqPuH9a0eUZn8gtFrImSZN0UgGB1XeTq3Ceh0TYC7Be66fXv_3V2b9IhCRmVYeS2NjwWhKrhKhHWYuqLIu0LgpqDnkqa8YaLoE16_R_cDdRiFZf6sOfh2I_m0djn81eKzO_7Ccz33hnR1zixUrSkX21Xr2s0BfjA9ea5EktaxZ1WcE1sN7P3_bb2I7hmTt6By_e98HN5hFYPyizFjzOSksU1oxqWgseuffkgrLGr5Tezkai4EYqyQPhr12HatXBI-2mY_YuTqeGuH5CAOtvLt_csT5L_4ea2c-veXtjv5MmEUj-FH3dpuwy66BiVv6ACeRHKNLLobib8kekZZvnr9v832Lb1v-aob9wrRMB-RETYD1P7BzWnOxdavE5Nf9B6p59LlFuJXjYUhdYmYBXp0wYgdXCGh9QnLlDYA_AOkySJH4l-fGNzWN8iDcRb7SBS578wL1wZYDVwBqE6hZHjMiIkJ8w29iIs1maoMTpEzTaKKiOZgVC3iFbhsCOy_WhOKIaI3navm5cfsOnqrg6PS_A-AFY1X0_vwXlGhlwj9-nuDpxDo5QdVB1OL5fpFhg9fB9-hC8CVscZPfyHPHHN_ZKlXek7UUBY8BKCWVnlmGH072C1QK9i0F1eh06CrMzmG7ohm1teyfbXDZ5w3fUZhVLy6wuq3p3bqsqr6muGUlWjJLXYiyHpqlF0-RDmQu-Uy1LWZFWaZM2RZPXSX5oirJKBx7J2SigSOnClU5i547nyE55P1Pb1Fne7DQfSPvlKGTM0DMuYLRZnnauXbr9ME8eilQrH_xblaCCpvbZWTOhsJKQB9x_herogXVxlXKoTmgN3veC3ex0-98OGmD9osvHnrTofmrZPwEAAP__qnk4tw">