[flang] Missing diagnostic on intrinsic SIZE when the argumen DIM is equal to the rank.

[DanielCChen]

Consider the following code:

implicit none
real :: a(10, 10)
print*, size(a, dim=2)
end

The standard requires the DIM argument to be less than the rank of SOUCE. This usage should be diagnosed.

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Daniel Chen (DanielCChen)

Consider the following code: ``` implicit none real :: a(10, 10) print*, size(a, dim=2) end ```

The standard requires the DIM argument to be less than the rank of SOUCE. This usage should be diagnosed.

[klausler]

The standard requires that DIM be less than or equal to the rank of the array, which it is in this case.

DIM must be present and less than the rank of the array only when the array is assumed-size. The compiler enforces this requirement correctly.