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

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Incorrect diagnostic on KIND= when the expr is compile time constant.
        </td>
    </tr>

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

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

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

<pre>
    Consider the following code:
```

  INTEGER(1), ALLOCATABLE :: I1

  CHARACTER :: CC(0:127)

  TYPE :: DT
    INTEGER(1) :: K1=0
    INTEGER(1) :: K8=0
 END TYPE

  TYPE (DT), PARAMETER :: T=DT(1,8)

  CC =(/(ACHAR(I=I, KIND=1), I=0, 127)/)

  ALLOCATE(I1)
  IF (ANY(IACHAR(CC(0:0), KIND=IACHAR(ACHAR(1, KIND=SIZE((/T%K1/))), KIND=T%K8))  .NE. 0 )) error STOP 11
  end
```

Flang currently issues an error as:
```
error: Semantic errors in t.f
./t.f:17:39: error: 'kind=' argument must be a constant scalar integer whose value is a supported kind for the intrinsic result type
    IF (ANY(IACHAR(CC(0:0), KIND=IACHAR(ACHAR(1, KIND=SIZE((/T%K1/))), KIND=T%K8)) .NE. 0 )) error STOP 11
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```

The code seems conforming to me. All ifort, gfortran and XLF compile and run it successfully.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzEVEGPqzYQ_jXOZfQQtpNADhz8gLTRbvNWuxz6enNgSNwaO7LNbvffVyaQbrtSe6oqWQJ7Zj5_nvlmpPfqbBALsvlKNtVKjuFiXVFJo1CX5QXN6mS796K0xqsOHYQLQm-1tm_KnKG1HRIuSCrINp1XGrcAh2NT_1A_E5ZTwnaElSAeH7-VohFfH2uIQVzAgS7u5Y_iWZRN_byYypKwPCVcUJZFgNmv-f50j66a6ejvdy3mB0p4lf6zS7641Mdqwv7rPSyvmpn9k3gWP9UfCDaEV9EaAcv8A8WyBMIrwnLC9oTlIj6NsPxAeHWISA-HY0V4taTlMFFgJcwPjUF3rDlndYynt3OAwz4yE8fv8XSBv-crnXHna-4Oy5d-ML4cfqknopFrQ9jmgc73z-vuORnz2zFAcqwTSGHeonPWwUvz7QkonRii6T5rYq9llMzoHJqg30F5P6IHaWYA6T9LabLEbL_gIE1Q7c3XgzIQkp6kIiFsH_-4oBnhgu-i9z2MsOw3ZbqpHhlIdx4HNAGG0Qc4IUhorfFBmgC-lVo6UCbgGR28XaxHeJV6RFAeJPjxerUuYAcREHp76wVlglPGqxYc-lEHCO9XXDT3f9fpX8pENvV_sj5VvrngNCrAIw4-5ry3bogDJFgYMAGhNajeuhBfco4_ThqQpoOfH_fQ2uGqNE57NxpQAfzYtuh9P2r9nqy6gnc7vpMrLGjG8zTN8pSvLkWW4npNdxn2Hd_mfNt3p93mtM2R76ikdL1SBUvZJqUso7vNds2TPqPbrqUdRyq3nczIOsVBKp1o_Tok1p1Xk2oLytZbmq-0PKH20_BkrI_6Jlz0zpoQO4CxOFJdEWO_nMazJ-tUKx_8n2hBBT0N36k5yKaCg2mtc9gG6JQ8G-uj6K1Z6gtvFzST8vD3q4vSXLIT1IB3OSer0eniEsJ1aqqolf1Zhct4Slo7ELaPDObPl6uzv2IbCNvfWpKw_fy-14L9EQAA__9f0aw5">