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

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Missing diagnose when using elemental intrinsic to declare a procedure pointer
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            bug,
            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:
```
procedure(abs), pointer :: pp1
end
```

The standard says:
```
C1517 (R1512) If a proc-interface describes an elemental procedure, each procedure-entity-name shall specify an external procedure.
```

Flang currently compiles the above code successfully. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8Us2O2yAQfhp8GSWyBzuxDz6kjiL10EvVF8AwtqkIWAzerd--MrvV7qGthECM4Jv5fhSznT1RL5ovorkXaktLiP1deUtuGBbyxRjM3g_BszUUIS0EU3AuvFo_gw6GhLyJ8i7Km7iU7ytf1xg0mS2SwFaNLLATOMAarE8U4fglb7Cu1dtr8uavKG_7j4WAk_JGRQOsdv5X06FqqisIbL9XTYUCO_g6gYJjllNuPClNYIh1tCMxKA_k6Ek-KQefJh6AlF4-Kifyyab95NWTgBflHPBK2k57hviVKPrPCOf_kHk4dUi3xUg-uR10eK7WEWdt1RheKOsKvGlNzNPm3H6GwvTSdLJTBfXVtewqWdelLJZ-pFF2NF6a6WpGU1ZYXy9aN1Jjeak16sL2WGJdIrZVIyVW57qbNLZStuVFt7qSoi7pqaw7O_fyPIc4F5Z5o76VeG0Lp0ZynAOCOG6zQBQ4CMTp4CHkbYrBp8M_xCNCsT9gTuM2s6hLZznxB3CyyeWwZRFEc4dvlvmIkrFq9oEJXhfysOXahzXWp2g9Ww0pgCHtVKR3X7Pef3JVbNH1S0prTgg-BD5mm5ZtPOvwFPg4Bnk_TmsMP0kngY9MlwU-MuPfAQAA__-yzfkv">