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

    <tr>
        <th>Summary</th>
        <td>
            [Flang][OpenMP] compilation failed when combining firstprivate/lastprivate with a loop containing !$omp cancel do
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang:openmp
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Reproducer:
https://godbolt.org/z/6xdvvceM5
```f90
integer :: i, j
!$omp parallel
!$omp do firstprivate(j) lastprivate(j)
do i=1, 2
!$omp cancel do
end do
!$omp end do
!$omp end parallel
end
```

With assertion-enabled flang, compiling the above reproducer results in the following UNREACHABLE execution:
```txt
Basic Block in function '_QQmain' does not have terminator!
label %omp.private.copy.cont
Terminator found in the middle of a basic block!
label %omp.private.copy
While deleting: label %omp.private.copy.cont
Use still stuck around after Def is destroyed:  br i1 %4, label %omp.private.copy.cont, label %omp.private.copy.cncl
Uses remain when a value is destroyed!
UNREACHABLE executed at /path_to_project/llvm-project/llvm/lib/IR/Value.cpp:102!
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyEVE1v4zYQ_TXUZRCDGll2fNBBXq_QAt22G3TbY0CRI4sJRRIk5ST99QXlNGunHwFsmCZn3rx58yFi1EdL1LB6z-pDIeY0utA83ogQ3FMseqdemjvywalZUmBVy3g7puRjPmLHsDs61TuTVi4cGXZ_Muw2z-p0kvSlZrxlG37-DDvOeKttoiMFyN5VC5rhJ3jIZlgyXLvJgxdBGEPm6lI5GHSIyQd9EokY3j4w3IER768Yb5UDzapDmaHxCkUKK8mAcoy3ZNX58P35P64uCJFVlynlM2__0GkEESOFpJ29ISt6QwoGI-wxc5Bu8tpoe4Q0EojenQjCm6IQKM4mRdB2eR-cMe4pW3_7-e5z--mHdv_TZ6BnknOGPxfgjUF6Toy3exG1hL1x8jHDDLOV2RYYbu-_fp2Etgy3oBxFsC7BKE4EicKkrUgu5Gx5a0RPBhjWbvKrV01X0vmXlXQ2B_ntzQEGN1v1N-FJK2UI3AAC-oVIn4l8gJp1G7UhUGQoaXvM3fAhh2-RICZtDMQ0y0cQYWEihkQBDjSAjqAopuBeSGVE6APoMkOucyk-CPD_FlaaM4UIgbKo8DSSBQEnYWa6Dr0k_88CkgKRgGHnRRrvk7v3wT2QTAw7Y07TzfXf_KN7ht2Pdwy733OUlfSeVW3J8RzirREK1VRqV-1EQU25rdfVDuuKF2NTY7lW282tVIPc8V21waG83XLEajNsVF8XukGONb_ldVmWdcVXu40a8lfh0K_7LWdrntM1q8wpT3mhY5ypKWsssSoWxeKyPxDPTV-1zpOdPEPMOyU0S3L9fIxszY2OKX7HSjqZZft0i2t9YPX-F0_2y6-sPrzOjli6eRA6z9UiunRTr22ekuu10F1sBHhaBhOMcx5yfcXZ41_2QTEH07zbajqNc7-SbrqoxnWNFhkiw-5ViVODfwUAAP__nOi3ew">