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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O3 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 does not reproduce with 18.1.0.

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

```
[587] % clangtk -v
clang version 19.0.0git (https://github.com/llvm/llvm-project.git 51089e360e37962c7841fe0a494ba9fb5368bab2)
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
[588] % 
[588] % clangtk -O2 small.c; ./a.out
[589] % clangtk -O3 small.c
[590] % ./a.out
Aborted
[591] % cat small.c
volatile int a, c;
char b, f, j;
int d, g, h, i;
unsigned char e;
int main() {
  f = i = 0;
  for (; i < 4; i++)
    for (j = 23; j > -18; j--)
      a;
  for (h = 2; h; h--)
    for (b = 0; b < 3; b++) {
      f ^= c;
      d += f >= g;
      g = --e;
 }
  if (d != 1)
    __builtin_abort();
  return 0;
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VU9v66gX_TRkc2UL4z-xF140Sf3TW_0WM9IsK2yubVoCEeC2008_AqdumjcaaaQ3lUVt7jnnHm7gwp2Tk0ZsSXkg5WnHFz8b237MqIXRk1t2vRF_tj888MsFuXXgDfQIHCwOqD1YnCw6J40G7kB6EAYdaBMiF2vEMiC8ST9DVqdZSlNCT4Q-rOPRnC9SoYXH94syFi3JH2D2_uJI_kBYR1g3GdEb5VNjJ8K6D8K6x7zh9rEq_7hVIhW9PutneSjrPSlPQFgJg-J68i-QvK7R-A2vaKPrrElpSifpgbD6Lrn089KngzkT1in1-vkvuVjzjINPA6vMaN1gXlHM903Fhn1dZCNSXjRFz5uxL_Oq7nnPCGvW9L9zO6EPS32vq6eqSBb9os2bTpTUy3sy6eWKmy1yAWcjUAX0xTj5voZ-aOe5UihOMtYs-DIDV4R1bvlItncz-jdu8SYc1554u-gXwrpe6lXwsEglYDB6lNMqeODOofXSaLdCOrNoAQPXQgruEf53PIJcffAAu_pYnA3pZB_qNwyEdddVfq2OdRn9DzSzX695_cV-Q4WDR_FL_B03Z-dFeRlY-QOkJD-Qgp6r4i7lP4HiNq8_t_nfzW1b__8M3JkrlQ4kP0BKWMdTs_gbTvMzJ984G6yhn7A7jYfeWI_iBpltgtx_F3o1oXwKQWoPnLAjBFfXwzlzC32YG8PwvAUCVoSpKQxzGOQWXHRsYwIiHb-RzlxqwmrCGiD76zzACCQ_gYwj3fAAo7GhEYQqheARivhK2CE-zSduQz5HCZYHWHh_hCSL9Ock-YYH4D_nmVd2wM9xuCNdYf3mE_roKqbrN1e3K4s0IOVjoAw3KcOfCEc7BML6I2K6Q0wxVZJ8FRHI_vSJkGOwE1SyAMu-mX166hepvNRPPOyGteg38hb9YvVNuTfhu_69E20umrzhO2yzfcaqkrGm3s3tntZjhhyrOh85r-mQs6bOxZ5SXjd5le1kyygraEEbWhdFWafI6wqpGDPaFDmjSAqKZy5VGhp5uFZ20rkF27rOaL5TvEfl4mXImMY3iEHCWLgbbRubf79MjhRUSefdl4qXXmH7Zo2eYDACgft4goyG-2awW6xq_91NQ1gXnTjCuuj0rwAAAP__ysEybA">