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

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Compilation error when an array declared as unlimited polymorphic is used in where construct
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          ohno-fj
      </td>
    </tr>
</table>

<pre>
    ```
Version of flang : 21.0.0(b2b3cb5f76f15d38e67f70124d275a5696bfdb83)/AArch64
```
When arrays declared as `unlimited polymorphic` are used in `where construct`, a compilation error occurs.  
When `where construct` is removed, the compilation succeeds.

The following are the test program, Flang, Gfortran and ifx compilation/execution result.

sngg322r_2.f90:
```fortran
module m1
  type x
  end type x
  logical,parameter::t=.true.,f=.false.
 logical::mask(3)=[t,f,t]
end module m1

subroutine s1
  use m1
 class(*),allocatable::v(:),u(:)
  allocate(x::v(3))
  allocate(x::u(3))
 where(mask)
     u=v
  end where
end subroutine s1

program main
  call s1
  print *,'pass'
end program main
```

```
$ flang sngg322r_2.f90
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/FFE_2022_PH19703_23/sngg322r_2.f90":14:6): 'fir.store' op operand #1 must be any reference, but got '!fir.class<none>'
error: Lowering to LLVM IR failed
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/FFE_2022_PH19703_23/sngg322r_2.f90":1:1): LLVM Translation failed for operation: fir.global
error: failed to create the LLVM module
$
```

```
$ gfortran sngg322r_2.f90; ./a.out
 pass
$
```

```
$ ifx sngg322r_2.f90; ./a.out
 pass
$
```

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzEVV-vnMYP_TTeFyto8Cyw-7APZG_4_VqlUlVF6ePVMBiWZGDQzHD_fPtqgE32blO16kule7VY2Mc-5thW3vfdyHyC7D1kDzs1h4t1J3sZ7bv2y662zesJcrH9ifIzO9_bEW2LrVFjhyBLpDQRiQA61FRLXWdtkbdp1sgD50VbiJT2DRWZyvJjXrdNfZBAR6CqLJ2-5HsQ5W2G3y88onJOvXpsWBvluEHlEXIxj6Yf-sANTta8DtZNl15DLlA5xtlzg_0Y_Z4v7Bi1HX1wsw4Rl86oUNth6o0KkQA7Zx1arWfnE8Rr4h9GY-_R8WCfuIlA4cJvoPysNXPjk8hElJ8ujK01xj73Y7eUFgMC-4CTs51TQwSpYvfiw_9a64JTI6qxwb59uYUGqviF9bykcexnE7Ykfuw6SeQeKWmPAmR528UNEUQ52GY2jEMKokQMrxPjy_LIY3NrGtv1Whmg86ScGjiwi5iyDCAfkuBmToDObTRaZTzHKr4FLY6D8l-B1k8rHyB7H5YAOgfIHkCUMeFtNZHDXDs7h35k9GuBs7_Wqo3yHugAVC5iOStjrFZB1YbXhE_xrdzezt-NiLM5M9Dh5bv3Kru_8pjfeiwqADqsvNYgRJxBPjx96-DqtJK7ZwOi3D43DqoflxitjLlynVw_Blz4nYGKaeFbbGB3kbfzcW_SfpvEO0mIcpF4nE9j9dJKAqqerfsKVF3swEBVnHOg6vwJqIoKBaqieKI1AVWOJ2ebWbP7Gaiqqg-PJIgef_1_eiyEfCQJVN2lJQJZpnuQZb5IoUSgou1d4oONDS3QTmgndlHuQDLFYfYBa0Y1vqLjlh2PmuNk1HPAzsYeFUBpxFhVIc-jHRnkh61fV5of7TO7OHPB4sePn3_Bn37DVvWGm_-2Gcv_2oulrE9OjX7bHWt92MZdFJuyTL0sMbLtjK2Vua198w4WtWMV1s2yYK6jterh7wXTXXfO_Rp5jwlQpRI7hyjSRZT_EDOurn8Lt2tOsjnKo9rxKS32Uh4yIQ67y0mk-yaTNeeyoX1bZI3eH0VLUqdprlo67PoTCcqElKlIZb4_JMea6-NB17Jo61ocj7AXPKjeJMY8DYl13a73fuZTKmWeH3dG1Wz8cv2I2nUnUzyE7hQD3tVz52EvTO-D_w4R-mCWk7lu8ewBz386Lc_LHdtO2ZtL9sMzFm_M9YTdXaDd7MzpEsLklxVXAVVdHy5znWg7AFWxrO3n3eTsF9ZRswtND1RtTJ9O9EcAAAD__61VZB8">