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

    <tr>
        <th>Summary</th>
        <td>
            SOLLVE — lsms_triangular_packing.cpp crashes compiler
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            openmp,
            clang:codegen
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          chichunchen
      </td>
    </tr>
</table>

<pre>
    The test file is from: https://github.com/SOLLVE/sollve_vv/blob/master/tests/5.0/application_kernels/lsms_triangular_packing.cpp

Error message:
```
DeclRefExpr for Decl not entered in LocalDeclMap?
UNREACHABLE executed at /b/worker/clang-release-master-x86/build/src/clang/lib/CodeGen/CGExpr.cpp:2863!
```
Clang can compile the test if the level of collapse is 3 and Clang will crash when the collapse level is 4.
```
   80 #pragma omp target teams distribute parallel for collapse(4)
   81     for (IndexType j=0; j<mp; ++j) {
   82 // Collapsing here is fine
   83 //#pragma omp target teams distribute parallel for collapse(3)
   84         for (IndexType j0=0; j0<MR; ++j0) {
   85             for (IndexType i=j; i<mp; ++i) {
   86                 for (IndexType i0=0; i0<MR; ++i0) {
```

To avoid the crash, we can modify the initialization at line 85: `i = 0`, `i = j` -> `i = MR`, or even `i = j0`. 
It's weird to me why `i = j0` works but `i = j` does not (`j` and `j0` are both induction variables so I guess Clang is treating them the same way?)


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylVMFyozgQ_Rr50mUXloCYAwfHcWZTldmtymb2mhJCgByBKEl24v36bYk4zthTc1kKizbqbt7rbr3K1MfyuZPgpfPQKC1BOWis6QlbQ-f96NAg9B7vVvluXy0E7tH7v_96fPxni4YzWh_ky-GAdqVNhY-eOy8tGiGpw2e2SHDl46iV4F6Z4eVV2kHqsKdd7168VXxo95rbl5GLVzW0CzGOJLkjyXpat9YaC710jrcyQJr28uTjjn_vpNBPstm-jxYadA__YTAe5ICAZA1qgEcjuA4b3_lI2P0U-OPPp-1688f69nEL8l2KvUdn7iFwwt-bsa-RkNAIc26lltzJ-cRz_r7Kg99e6TrUw4qTY2CnQvzG1PKbHIL1LYCL5NiarnJG6PKXVDYhAQg-ANZ7DH3xpy6pJtpaHqQG06CD1nx0sXMM-FDDFPymtAZhuevgrZNDDPr0naIxIl388vsAsEqQPxstb3sOCAI8t630CIL3DmrlsGsVVgpGbrnWmC7U_PQFQlcpocU52xLCFVxw62Go5fvzcZSwI-wuIew2GJt-DBaht3jvMBrIze05A4VpEGEzfQPHBDrsaxxZNcizJ_vw_H_42U_4Uzhd1xySTxK4br4_fWGRXNHI4Ot1lUxhrl1IoC4Koq4y5XB5XWf7hKYuoamfoV0MwLQ-G-AHo-ppeMIsEbqBNxknsze1ao5xSw3KK67Vv_F4h6OjsSHINcgI5lSAMCBmx_jPFzu0YE7Y9vwKEU5OyARndPjiHMIXMAF78ITeOESiLIIzqAw45McLZwgH1wE2-eKTtZEuCgPWCv_Hd-HgBDsGcpyqyvgOidV7ETkdOIpUpTHQGXiAdo9a9HHScP68lUgdbaxGH0vieMDEj0FkTnM0rbO6ZHXBCj7zymtZTloKZEvJKiFFCr_RxKkJCOJDFuxsb3X5G6FGdT495qM1OymwcvfKOcQfpDnN82TWlVleLYtKyKVMWZWnWSGYFEVWLPOiyYskn2leoWCXJMPRoWaUA44mpbGblE5yx9YCha4NQkdJdjdTJU0oTRhLKGM3abaoqqSheZFWWbZk1bIhaSJ7rvQioFsY285sGYFW-9bhpsYz6s6b3DnVDlJGEJif731nbCk6Jbr9IFDjZpFXGUn9B1KTDkw">