[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.

[DanielCChen]

Sorry, I misplaced the test code.
It should be

subroutine sub(arg)
real :: arg(10, *)
print*, size(arg, dim=2)
end

Flang also diagnosed it correctly as

error: Semantic errors in t.f
./t.f:3:9: error: DIM=2 dimension is out of range for rank-2 assumed-size array
  print*, size(arg, dim=2)
          ^^^^^^^^^^^^^^^^