<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/71700>71700</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>
    This appears to be a recent regression as it does not reproduce with 17.0.1. 

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

```
[619] % clangtk -v
clang version 18.0.0 (https://github.com/llvm/llvm-project.git 6eb97f03802a219997af4b615a2afae339cb674d)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
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
[620] % 
[620] % clangtk -O1 small.c
[621] % ./a.out
Aborted
[622] % cat small.c
int a, c;
char b = -50;
long d = 10;
int main() {
  int e = -1, f = ~(a / -1U);
  if (b)
    e = f;
  a = ~(-((e - b) % d) | ~e);
 if (a <= c)
 __builtin_abort();
 return 0;
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VE-P47YP_TTyhbAhS_4TH3zIJD__0FMP3Z4HkkU72lWkQJIz0znsZy9kZ5LZwaJAgS0QxDbJ9_hEkRQh6Nki9qR-IvUxE0s8Od-_ndAqZ-ewZNKpv_ovJx1AXC4ofIDoQCII8DiijeBx9hiCdhZEAB1BOQxgXfJcvFPLiPCi4wnKtqBFWQChR0L32__BnS_aoIf_vV6M8-gJ38MpxksgfE_YQNgwOyWdiYXzM2HDG2GD_Np5L3bX60cm0tDbb_usn5qyI_URCKthNMLO8RvkN8j6DVf0q-xyV9CCAmG7T5l1PC2yGN2ZsMGY6_sjv3j3FcdYzDpCg7JrJ8p3lAlWdl3XiqmSTVkLJiaBnHejbNpKEdZtub8IP2NM53zdNc9NlS_2m3UvNjfaLq_5bJdb3MmjUHB2Ck2KvrigXzfXbzZEYQyqo14LlnS5URjChrC85e_v7jItb2vBtN2Ag1usglFYpZWICP8_HEBvZCJqZ29kS_CJUstUhHEkbLhJfUhkQ0n_A87y13Peyv4HGhwjql-i73BXdl5M1AnF91AQ_kQqem6qTyn_KSg1KqPvjfoz2715fy8hnIUxxfghrHwPKwgbROGWuDn30vmI6kMkuxOK-CORthEEYQcYk7htQk7CgwTCj5DX9G42zs6gVnP5sCb8WWhL2I6wDkh7swMkD24sZUowre_fCduJVHTIyz_TYPAHYEpzKO_TAgA3gulDlLjT5GvOHUIOcs3NalCbiAN8xx_IN-6EPST4-Ejy_CwXbaK2zyKVbTvHA-gxLt7C48CkPf5062Sq56rjnciwL5uuqxpWV2126jvGaj4yWdVcjHxqKWd1W8uqbWhXdZxlumeU8bKku7Kp66oteDVOtFPTJLqq5EyRiuJZaFOkDZSWYaZDWLBvy5bSzAiJJqxbnDGLL7A6yXrnme_XrSWXOZCKGh1ieLBEHQ32Lz5d7OgUgohrpwmrQEh3RXAWPo9CtnjT_7tlSdiwagqEDavmvwMAAP__sXrjFQ">