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

    <tr>
        <th>Summary</th>
        <td>
            [flang] Missing semantic error for procedure pointer target that is not known to be a procedure 
        </td>
    </tr>

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

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

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

<pre>
    The following program is accepted by flang, while all other compilers reject it:

```
  procedure(real), pointer :: p
  p => x
end
```

(Flang implicitly resolves `x` to be a procedure).

Failing tests in the llvm-test-suite:

https://github.com/llvm/llvm-test-suite/blob/main/Fortran/gfortran/regression/proc_ptr_46.f90
https://github.com/llvm/llvm-test-suite/blob/main/Fortran/gfortran/regression/proc_ptr_37.f90

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEU81unTwQfRqzGeXKjOECCxb5cj92lbroPjIwgFOD0XjIz9tXvkmTqO2iu0rI2COfM2c8Z2yMbt6IWlX-p8pLZg9ZArcPZLevxI4468P40n5bCKbgfXhy2ww7h5ntCi6CHQbahUboX2DydpsV3sHT4jyB9R6CLMQwhHV3njgC0wMNAk6UuVX6ovTP9azfvusRUoqBxoNJYc1kvcImMe_BbUIMCW5uYX-_DspclPkfnl8jtI1_JH5bse6SVnDr7t3gxL8AUwz-kSKos35WZw0SoCewn5U0p88snXU-vYZQlAhuA1kIvH9cb1LkJh5O6JcyF5E9phh2CrvZyXL0pyGsCrsEfPt9xmPX-9Ar7FbrNoVdF1jYpt08vW-ZZqYYXUiHpPd-F74vzqep0f8gsak-Emdja8bGNDajNq-0rrCqsciWtizrui8LNHlNI1HV6LyZCmvy5tw3JTWZa1GjyXM0ukZTFKehygutz6amukbUVhWaVuv8KUk_BZ4zF-NBbWUwLzNve_LxamvE_pgVosI7hfjqUnM7cdgk-QQxGZ_b6wv0xxxVob2LEj-IxYm_jsgruLzAFxdjan6k1W7iBiDmwDAF_jDMu1vF8kwCslhJM7MFge9beNp-9xhkB_v2L7u1c0jTpLC7Fh4VdtfafwQAAP__Wgs3Yw">