[flang] Missing diagnostic on non-rank-1 v_list in formattedRead

[DanielCChen]

Consider the following code:

module m
    type base
        real(4), allocatable :: d1
    end type
end module

program fdtio001d1
use m
    interface read(formatted)
        subroutine formattedRead (dtv, unit, iotype, v_list, iostat, iomsg)
        use m
            class (base), intent(inout) :: dtv
            integer, intent(in) :: unit
            character(*), intent(in) :: iotype
            integer, intent(in) :: v_list(:,:)  !<-- must be rank 1
            integer, intent(out) :: iostat
            character(*), intent(inout) :: iomsg
        end subroutine
    end interface
end

The v_list argument should be rank-1. This code should be diagnosed.

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Daniel Chen (DanielCChen)

Consider the following code: ``` module m type base real(4), allocatable :: d1 end type end module

program fdtio001d1
use m
interface read(formatted)
subroutine formattedRead (dtv, unit, iotype, v_list, iostat, iomsg)
use m
class (base), intent(inout) :: dtv
integer, intent(in) :: unit
character(), intent(in) :: iotype
integer, intent(in) :: v_list(:,:) !<-- must be rank 1
integer, intent(out) :: iostat
character(), intent(inout) :: iomsg
end subroutine
end interface
end

The `v_list` argument should be rank-1. This code should be diagnosed.
</details>