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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -O1 on x86_64-linux_gnu
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </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 8f19de848b968bfdd237bdb6ffb65e7412bb6a0c)
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 -O1 a.c && ./a.out
0
% cat a.c
void printf();
void a() {}
short b;
static int c[] = {1};
short *d = &b;
short e;
int main() {
  int *f[7] = {c};
  int g = 1;
  for (; a < 7;) {
    char h;
    if (c[0])
      break;
    g = e;
  }
  *d = g - 4 && g - 64;
  printf("%d\n", b);
}
```
Compiler explorer: https://godbolt.org/z/snhv9qoG8
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVEuPnDAM_jVwiUBJYHgcOOzOaFY99dBKPVZ5AelmkimE2W1_fR2YZdhVu1KlRUgQ25_92bHNnfzVRAVeXuHs6IyK8CHCdxHdIWGY7RL_iJLLIpwF6KKGUTuLSJHiFKOIVr335zHKAHSEt9O-n3gq3AkOxlxePsl5cD-U8CkYoKoltVRVXvG6qHgrJc1KLnnRtrzYqTInlPOCYRHReon9lQ2d8hAEPVfF9yJPJvto3ZNNjLbTc9LZ6WrXD4pJdHJSmWB9dqN-XlSf7OiZMUoe9BBUwOu3ZJ7Bd-yZMxp-gPVZG8gw_As-aSPVkNyks6Ojm6xEglmpAa_Qw36P9OKceSjN1fk0DiF1zUNRBKRyvFK_UaZHQj7e57VkX5SBciv5Ifz2K7PTZLwOKPCSRtl9lONTkb8J-Z4R9NbfmuwJJZ8xYqkAbgW8gKNHlrrJL9bkXyDyDghvQMwHw0VwcVqi86Ctb6GBQ5cBx5uGLUIUlfdReVgUY-8Gj_hqCPX0WkBhPRLR7j7aHVCUHQKEBMxqNsMieicXNS34G51az8HXiWm7iT7L0RwFfLQQqNxEEttIi1U368hG2rohTClIEAPlHpVB-do_QqJnA-o3MHDXBlxIDkPMdRTR_HCYs8dX5ktktZGttUO3AnQoQfnLbYUDtMUNsbkSCpcmo93ezr97qPzmllbP6_q6tul1UpF6Phs3qHnQ3-wnJ7kzPnVDFzZAmH7bX-qf7qGKVUOKIqvyghZlLJtM1lnNYq-9Uc23wcH2E7BYEHRSaDtYgtuJ-Q4TE0-Daf5vH8JRj-OkwsrZlVVdx31DeYvbluCqFaouc1m3Nc3rlhMilRCCxIZxZcZm6btYNxRTimtKCckILlMmMK6xrEpIRe6yCsZPQWOZNAQOmcdDM3PgUzeC0ujRjzclG0fdWaVe_LPJQ6c2YUsm_cQg3Xim3Mx8_wB7EstO">