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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -O1 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 92c4172756b33094aaa140879a861562b0114927)
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 -O0 a.c && ./a.out
0
0
8
0
0
0
0
0
%
% clang-tk -O1 a.c && ./a.out
0
0
-1
0
0
0
0
0
%
% cat a.c
int printf(const char *, ...);
short b[8][1] = {{}, {}, 9};
int c, d, e, h, i;
int *f = &c;
int **g = &f;
int j(int k) {
  if (k < 8)
    k;
  else if (k < 9)
    ;
  else if (k < 9 + 3)
    k -= 4;
  return k;
}
int main() {
l:
  **g = --b[2][0];
  e = 4;
  for (; e < 1; --e)
    for (; h;)
      ;
  if (j(e))
    g = &e;
  else if (d)
    goto l;
  for (; i < 8; i++)
    printf("%d\n", b[i][0]);
}
% 
```
Compiler explorer : https://godbolt.org/z/TEP94acs4
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVVuP2yoQ_jX2C7KFsePLgx-6ydmjPrVSK_WxwkBiGgIRxtttf31n7CRrr9JVz1EjwoyZ28cAM52TP9qopPMQzg7OqIjuIvouYhsiDLeHJBxJ8jQvTgvkSflBO0uyMqUpJRGr-xDOQ5SD0SOMgw792KXCneDDmKcrSc7efVMipKBAGiaKrGLVpuzynDYF5zwraF01vC6zTck6mmVFw6qINXPsz9wfVIAg5Lkuv5ZFMtqjdd9tYrQdn5ODHS96vVdckpOTyqD22Q36eRa9t0Pgxii50x5FgOun5IEDHXrujAYGUJ-1gR0iL7pRG6l88rI6OXp0o5VEcCs12Cvy73ZL9OycB0jNxfk4eNy67jApQsB8gf4CmT1m2d_3eUnZJ2Ug3Ur-FXzbG7LTaIJGK_CSRvlDVNBTWbwK-ZYS3K17l-wDJTwVAKyEAUbskaduDLMqXZH63uJd8rtY2R_HSrL_GYwHjDEvaBvI2cO8h-eCDy0Q0XMPAEB3S9I0xYsOaZq0h975QLpo81BHmx2QDAiJcvhXD9PYodUL1yC9WmMsgasSJ4VTj5NeaUDk_eySleK1BMbhKtyvhN8AP9Ij4J0ATBJC9B4LwRGMtqS-PVoCv-PNnhBlBrVSbVaqb2oC-0DytWuSIMhiYedVGL1dBMXM3NCfuLbgcYUdq8TVern1JMEDYPMBUCQLdOR13L3Dw6xhZRJuSYZskqgV4IVWj8ZL2Wr7884x2ZODpd7tYNT9dMm1tguOmPtA9eW0kIXkTmNheruvEWNwoWW02dqJ3U5XUy8ys7i7t3zjG7hw1w5zqSSXYkrU89k4DwwWiVc9xMnOmZA6f8AqDf_P_3yELiGGIlZtVpaM5tgeYtnmsskbHgcdjGq_eAcdSkDxJ_D88JlDo1pWta9Q1eLRm_a_9Sz41MMwKmwLm6poqrhvi7rieVkVdZbzOqMsk6xouMo53cumbprY8A7OpYUkQdqs-k4mF5jCzS7WLaOM0Qb6HANapl1DS1ZwKoUqlSgYVEwF99WkiAMTEft2gtSNhwGERg9heBHyYdAHq9QUDvzzMUAVabGxJf3IYffxFL6d4P8CzxMk-w">