<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/58223>58223</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
void printf();
int a = 1;
int *b = &a, *c = &b;
short d;
char e, f = 1;
static int *g = &a;
static int ***h = &c;
char *i = &f;
static char *j = &e;
long k;
short l[1];
short *m;
int main() {
  int ***n = &c;
  m = l;
  for (;;) {
    d = 0;
    for (; d <= 1; d++) {
      k = ***n;
      if (m)
        *g = *j = 0;
    }
    ***n && (*i = 0);
    if (**h)
      break;
  }
  printf("%d\n", f);
}
%
```
Compiler explorer: https://godbolt.org/z/z8Gnz514T

I have reported another bug before :https://github.com/llvm/llvm-project/issues/58140, but I don't think they are the same after I did `opt-bisect-limit`.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVU2PmzwQ_jXkMgIZEwg5cNhNtFVPPbRSj5W_CG6MHYHJbvvrOwaSkLz7VqrayAEznnnm8cx4zJ38UUUFmYZwtndGRWQfkaeI5iAMs4fYHyE-T8JRAGfV9dpZSIuEJAQiWjben_ooQ6MXHAftm4EnwrX4Ycz58opPnfuuhE9QAYhIWSZZqVhaE0XoWvFalrnY5Bnd0qKmhSi4VHlEt5PvL6w7KI9O4K0svhXreLBH615tbLQd3uKDHWa9plNMQuukMkH75Hr9Ni19tL1nxii5111YQl4_JfMM333DnNE4QdYnbXCHYS74oI1UXXyTjkAvbrASBLNSo72CD7sd6AmceQzNDD70Xdi65iEoQuBzpn6jTF_S9N9jziH7rAyGW8l_wm93ZdYOxutghShJlD1Ha9IW6weXv1PC2nqvyF4h_kSAJQK5FTjQjr6wxA1-0k7_z6j_jRF5zyXzwWISnJ2WcOq09TVWcig3JDuuoAgYRNke0jtZRJ_4KEZ3WDu7IBAXAb-q9o3rPMjrt2hYByro1w-gmBivBczYhxv2-wrTaC5q4t4DLunLUv2IcNH4ftFQVw3j8GgfH9ibKH9Oo3z_IEaE9i4kLdN2ih5Em1kO93ztf_kCtKPQLCS1CwTLIMFxjwcgR32y0F9ajMu7S2wx9PR5HA8gAMeZy4XaHR7yrgNge209MP8WyZkjeM8k2uwXH4uNT5U5BmhODlkW2s3nnNoHzxw72nGhvfCzKFyKpS2jfGfHKVbZ0sXV5HYQLm1_Pt5zhwP1djKuU2ODfOjrTnJnfOK6Q-ic4V9-sD_zdP1lhpy6LDTsrKBTJywV7ATMOt8gMB8OwBVmS2EEnv7sysBP3feDCl05L9M1CRvkg4ePILGd0Y0H32h7xKf6AQxd4AR61ipgtUfnqIfHHHfrTj7mukdM7HKt9ihKVqpKiyJPs4xuipWsMrnNtmzltTeq-tqFgyHwOgFsG6HZ4NW37JPfsE-uhs5Uf7MlSrNVU4kUr0K-JmpbZjnPyrym25KWiuelEILlK8O4Mn2FpxKTbNUrjBAh4fl-pStKKE0J2ZAtSfF2LkS5WW-5FJkSdUkY9mCFJ9UkgUdI46qrRkqYmh4Xje59f1tkfa8PVqnRHeKzwePpr8JVGTcDw92vRvfVSP8X8ZZT3g">