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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -Os and above with -mllvm -enable-constraint-elimination
        </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>
    ```
[507] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 17a68065c378da74805e4e1b9a5b78cc9f83e580)
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/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/7.5.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
[508] % 
[508] % clangtk -Os small.c; ./a.out
[509] % 
[509] % clangtk -Os -mllvm -enable-constraint-elimination small.c
[510] % ./a.out
Segmentation fault
[511] % 
[511] % cat small.c
int printf (const char *, ...);
static int *a, **b = &a;
int c, d = 1, e;
int main() {
  int f, g;
  f = d;
  for (g = 0; g < 2; g++) {
    if (e) {
      printf("%d", e);
      if (f)
        c = **b;
    }
    if (!f)
      while (1)
        while (g)
          ;
  }
  return 0;
}
```

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VcuOnDoQ_Rp6Y4GMeTQsWMx0a66yyiLZR8Y24Btjt7CZ7szXp2xopuehUa5uBiEoXKdOHZeNqzX8VxOVeL3xMcJ3UXFf4H1UHFFECsQU1b37ieLHxRu-0aOYrDQapUWCEwzAanDuZKPsLiIPcPfSDXObMDPCh1KP11d8msy_grkEACjd07LCZcGyfcXpPq9wIXKRtjUt2n3FWN1VmSgqHJF6yf2dTr1wkARdqvJHmcez_qnNWcdK6vkS93peccMkKEej4UJ59MlYeVlcX7R1VCnBj3LyLq_LMKrgbeen-GqbUzc_PYHRSr0EPphZc8So5pJTJ9A_hwOSCxl1UIqVbLaTp5StLwJj8JRlVd4IJA_V_yRc535LWX4CZQJL-_dp959A-TlK12X6JhTsV8H_lsTDJm6clZM-EIiSKLuPcjyW-UeojKwwMD6AXTbc5QrcZvFR0vDjV9cf_72x7TD4apEdoRIJAw4gIg80MbO7ianf4anf44lHfzCgWGjaKhEzAzWeqNQuFkqOUodib9k2shRfyV5l_yb6UWi3hHUU5nsTlL5V9TzGqHuZB0Sg0wTPzp9wQRliA53gC865A0qSxJ9NUMUAtz4pQz4KANQjAvCuRVHmU5R0w3oQ8wgefKk3xQvvCDWArJAARft1HAXyzoP7DYxQFzj47YjxIqs-OLBfI28eEAlmRO7D_YIZuMM0xZtxtBYhqCFQKR5eXvDN7BfkwtFtRzZaL7aWIJTjRUy0P76WEJH0NcN5kEp4X_qGenP1b1zA_pzqJtEk3DzpUJh1I1x9r3vh8sxxN9BBox1vMl5nNd056ZRozpOBZsigzyDYO343ww-JaGseBTpDC_yzzb2bJ9X8t_7p-4q1s7BgFDnJit3Q4K7FnJCuY5xVqehwlbOU12VaZhWvBd4p2gplG9j0sH5anFGg8GtZHHeyIZgQnOGSkBzjOqkLaL24wzVtacVoDUUQsCdV4nUkZup3UxMktXNvwamkdfbZSa2VvRYipAN-OrvBTM3TIDSHotl5F7I3Qf1vFxFz2Q">