<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56103>56103</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>
    ```
[539] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git be6af89f85ebd04646b5704301470f02b70a0447)
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
[540] % 
[540] % clangtk -O0 small.c; ./a.out
[541] % 
[541] % clangtk -O1 small.c
[542] % ./a.out
Aborted
[543] % cat small.c
int a;
long b;
unsigned c;
static long *d = &b;
short e;
static short *f = &e, **g = &f, ***h = &g;
void i() {
  short *j[1];
  j[a] = &e;
  **h = j[0];
}
int main() {
  *d = *f = 1;
  unsigned short k = ~e >> a;
  long l = ~(~((c - 1) ^ (k - b)) | a);
  if (b > l)
    __builtin_abort();
  return 0;
}
```

Compiler Explorer: https://godbolt.org/z/Mh5cn1n55
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VUuP2yAQ_jXOBcXCb-fgQzaPqoeqh_a-Ahs77BKIDGTT_PoOdvxodlWp6sZCNgwz3wyfhxmqql-Fl-LbwFsPr73kKYlWXrJFXpigUhDZmFe0PPe73RqdWau5kihIfOxjUMwPxpy0F629cA-j4eZgqV-qIyyEOA-f5alVL6w0PiggylJS56s6TxitcJzGKU0yHEc4iDNc45BmmOA4zrxw1fv-SdqGGXCCLnn6nMZLK1-lepNLwaW9LBtpb3qHlpEKHVXFhNM-Kc0v_dZXqQ0RglVb3rotF5cqiYCvttflMFen2l6vMKFc9oZ7ZWWFSiIrXhHD0JfNBvEejBig4gZmdesgOXUklCW8eZqnswDDff6fgLezzyED_ADM4PMx0wdA-pCCnw-bPQDyMZHe0ukHE3CvWPUp_3wzRna0wnBnBSi-Fz15MT6m8Z3Lvym5ahLjoZp8JBsrzHeM9BHC9kvAAKBwT3xlzcwm-AAneI8TjDiTWjio3eGuqWrhDDPNaAQk5k8gLg0i7nzdSigohHRcWql5I4GNchTBTzC8RJ2iF64r5EUOOZ2M9AG8I3Zv0YvBpB5MmBdunABGM8jqSQbjMIibEe2seIU4FGeooMjLblI0wb_AgR1_owVCTkQ6BgbH097ckdPDc1Mv204sHQnUzXd-ZxzcThbM0EcC-_Bee81sx2CygzGjHvWcikHFuerfYV6iJcA6x8nONSZICPhL0EK6WDaAAvMJiNdOiTofSIydBsHz_Ewth8SWz8TlSH-cmWXLjG0lwu8ZuG-o_Z1SxxMXrEW7y0molnXt565rqooqYXzVNrBy7efbISllIJNkURVRtYpWZGG4Eax4ax0BJXQ4BFnqUh6uLIJAzwxBX76_22hhW1H8W492vUtryzRMkjTA0eJQkGCVZTQvaZSSPE_iLGcZLbMgT0kSJnW-EIQyoQtIDi8MJXtDHQTMIVUWvAhxGOI0yHEWQ6P3o5ixJCdVDH0-j3AKhYNB6gjfxeFoWLRFFxK1jYZNwbXR0ybRXcawzh3gE2sgdYrrgckK6NF20Xkvuuh_A6bDlDc">