[flang] Missing semantic error for procedure pointer target that is not known to be a procedure

[jeanPerier]

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

[llvmbot]

@llvm/issue-subscribers-bug

Author: None (jeanPerier)

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

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: None (jeanPerier)

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

[pklausler]

This behavior is intentional, as I could find no constraint or requirement from the standard being violated, and the interpretation is unambiguous.

[klausler]

Assigned back to Jean, who can respond to my comment or close the bug.

[jeanPerier]

I could also not find a constraint or requirement violation here. It seems rational to implicitly resolve the procedure pointer RHS as a procedure name just like they are implicitly resolved to procedure in call statements.
Closing the bug.