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

    <tr>
        <th>Summary</th>
        <td>
            [analyzer] Crash
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer,
            crash-on-valid
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          balazs-benics-sonarsource
      </td>
    </tr>
</table>

<pre>
    The analyzer would crash after #127602 on the following code: https://compiler-explorer.com/z/fzoqP36xq

```c++
struct a {
  int b;
 int : 0;
};

void top() {
  struct a d[][5][5] = {
    {
      {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
 {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}}
    },
    {
      {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
 {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
    },
    {
 {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}, {}},
      {{}, {}, {}, {}},
 }
  };
}
```

```sh
clang --analyze -Xclang -analyzer-checker=core crash.c
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsVM2OnDwQfJrmYjEybRiWAwd2Eefv8B1yNaYHnHjwrG1md-fpI36WnUQ55BApiRSpJVe3cHWphEt6r_uRqITsEbI6klMYrCtbaeTNxy2NWvnY21E6byenKGpt91b-PxCTozRvN3LsxU6mY8pJPzB5CuQYoEgwP3JkdmRhIHayxtgXPfZM2Y5AVGwI4eJBVIANYKPs-aINuZheL8Y6cgdlz4DNDbA53ezzf-L4-gy8muvI11KAj3Pxygc3qcAkg3xuGdNjYC2IpZnxvJCvPeT1Bnh1tbpjwV4AHwCL_fZO162eQPaYfRwMRL1_yu7QiueqAZ_YT6Gl-RPu_5bV7w7eMf2z8xdI_5Gjf4uZdxauP8jHg10G-_P_Lg38ALxSRo49i-Mtmlj8aZu8Z1WsBlJfyIGolXW0htZB3RNFXSm6QhQyojLJU54LgUcRDeVDkfA8zSgpMJNSoSpInVKZ8k4ei1PCI10ix4wjPvCCJ1wcckGJ6ijJcy55IQpIOZ2lNgdjrueDdX2kvZ-oTLDAJImMbMn4JYgRF-EgKh9k0GoPW0Cc_UFclMd2jK_S6G4eZ3Xkypk5bqfeQ8qN9sF_7Ao6mCXmd66sZk8zTTQ5U34byL0Ow9RuKTxTbEd8cfYzqQDYLNo9YLPJv5b4NQAA__-RRYsY">