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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -Os  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>
          shao-hua-li
      </td>
    </tr>
</table>

<pre>
    ```console
% clang-tk -v
clang version 16.0.0 (https://github.com/llvm/llvm-project.git 0c1a3da8ea1f0e024ebfd85c7532926f26c6bde5)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers
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
%
% clang-tk -w -O0 a.c && ./a.out
1
% clang-tk -w -Os a.c && ./a.out
0
%
% cat a.c
oid printf();
short a = -1, d;
int b[1];
char *c;
int e, f;
void g(int * p, int *k) {
  char h;
  d = a;
  a = 0;
  for (; a > -1; a = d) {
    char i;
    char *j[3];
    e = 0;
    for (; e < 3; e++)
      j[e] = &i;
    *k = j[0] != (c = &h);
  }
}
int main() {
  g(&f, b);
  printf("%d\n", b[0]);
}
```
Compiler explorer: https://godbolt.org/z/TfWevh66r
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVE2P3CgQ_TX2BdnC2KbxwYdMdyba0x42Uo4RBmyToU3L4J7Z_fVbYE-3O8lGWikS3Yb6eq-Kojor_24Titcl7OSsUQk-JfhDQmokDJ-GzL-g7LoKowBd1ey0nVBBc5xjlBA2en9xSQlOz7AG7cely4U9w8GY6_snu8z2mxI-BwOERcFLyZniRY8VJpXqeslqcahL0hDaEypoJ1WdkGbF_sznQXkAQW-MfqVVtkwvk32dMqOn5S0bpmWzG2fFJTpbqUywvlin31bVH5Pz3BglT3oOKuD1j-Sew9eN3BoNG2B90QYyDHvRLdpINWd3aQz0bJdJIsEnqcFfoU_HI9JrcO6hNFvwxc0hdd2FoggB_xv1O2XyXBS_P-ZWsr-UgXIr-Vv4HW_MzovxOnhBlDwpn5IKn2n1HeSvjKC3ftZkryj7EyOeC-BGYYEfeea5XfxqXfyXk_uFE_4ZJPfBYxVYLdFl1pPvoZFDtwHXqHCjncEOJeUJZUVCjkjedGCOuqR-KpL6dBOKkc_A4oN4MFPBs7-JrgFvAKigA2N0Cfrt8AL4KDlspgjFiOPNFyEZ2fCdZOWHd5LeBhYMJFH5MZDf9idI4RFhw9A7_00EdL5BhuU-w6BUPwA-QAb1EZVxm5CnuJq7JUIhqIKgMQxc2CN0KELUBDMczUixWjLx7jLurwl8Dqftbt83oZxnrqf1Rvf5DlFE-1D07jHMrgkIdIlM6uMUt8d41YHM3uGO-j4_t3eyjQqk3i7GzipOmu8GpJWdNT638xBGEPw-91_UdaR0TlVbUFoxhiljqWxL2ZQNT732RrVfZgvjV8BkQ9DBoe8RjOH9m_0Kbxaly2za_zeS4aidW1SYejUrKpyObYUZo01ViYr0vO5ZLzrODxVnhB5II0VqeKeMa6E2UKZJvaIYIpSsPqW6JZiQAuOqwHVBWF40rKwPmDV1g2Hq1zAQFNyRyQOPUIp0biOlbhkcKI123t2V3Dk9TEpFOIjPFw_vsw1zOxsXDumnEb6N9P8FuufpLQ">