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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code under '-mcmodel=large -O1'
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          jun-wei-zeng
      </td>
    </tr>
</table>

<pre>
    I compiled the following code with icx at `-mcmodel=large -O1`, and it produces `Segmentation fault (core dumped)`.

```c
$ cat test.c
struct {
  unsigned long a;
} b;
int c, f, e, d;
int *g = &c;
void h(char aa, char bb, char i) {
j:
  for (;;) {
    unsigned int k;
    for (; b.a;)
 if (i)
        goto j;
    if (i)
      continue;
    if (g)
 break;
  }
}
int main() { h(f, e, d); }
$
$ clang-tk -mcmodel=large -O1 test.c; ./a.out
Segmentation fault (core dumped)
$
$ clang-tk -mcmodel=large -O1 test.c; ./a.out
$
$ clang-16.0.0 -mcmodel=large -O1 test.c; ./a.out
$
$ clang-tk --version
Ubuntu clang version 18.0.0 (++20230821052626+634b2fd2cac2-1~exp1~20230821172748.738)
Target: x86_64-pc-linux-gnu
Thread model: posix
$
$ clang-16.0.0 --version
clang version 16.0.0
Target: x86_64-unknown-linux-gnu
Thread model: posix
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVEGPszYQ_TXmMgKZgRg4cEgaReqph7bqsTK2A941dgT2Ju3h--2VgSS7Vaq2aqPIYXhvZt48yPB51r1VqiW7A9kdEx784Kb2Ldj0qnT6u7J90jn5W_s9CDdetFES_KDg7IxxV217EE4quGo_gBY34B4Io-koRieVIcXR8KlXkP6QE0YJfgfcStAeLpOTQag5sn9U_ais5147C2cejAeCtXCTAhnGi5IEG8JoRuiR0P12Mrp-xRZjCYJ78Gr22XZv9lMQHkh1WGOAYJdpJRhne-Ck2BBSHaF7RNp6EFHrOR4qHvILSHDfAymOQJCJB_LhtIQhKh_4BJzHvOWy6x6XmmDzFPRGiv1d2tlNcepYrTh8YQF8Eh7bvz9aRuiZCF3G1-QN1eeI6OeN7dM77-DtS5XXVOGs1zaoF9T-Se0mxT9rItXxYevTtJFrG3Wuoy1GffYXmzjBMxXLTw_WcNun_h1evVf3R14cICN44pkLfk39R-_V_9btRY2cZTSj_71O1JJ-qGnWzq7Yz12wPqwwbAjk9dJuMflA8IAUC1pjTnfIkBE8sKLs8CxRcIFp_k3dLvm3OymvsCrrrCrqhys_RbGeFHu41exXVqYXkRptwy3tbdgow6S4hG28PVzcrG9_68fXWf40xML5CwHBvlt3tf9GxX1PrGEi20I2RcMT1eas2RWsYGWdDO0Ou7yROauqbsdqUdCclbLIFesatas5T3S7ONUgUoa0rLOcyg7pWZRYYZOrjpRUjVybzJiPMXNTn-h5DqplFa3rxPBOmXnZsohWXWEBCWJculMbc9Iu9DMpqdGzn59VvPZGtb9M7r5rg5Uq_uWrl1sWqyRMph28v8xxveCJ4KnXfghdJtxI8BQrbz_pZXJvSniCp0XPTPC06P0jAAD__6gDuNQ">