https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104651
Bug ID: 104651
Summary: [OOP] CLASS with assumed-size/assumed-rank array
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: burnus at gcc dot gnu.org
Target Milestone: ---
The following looks valid - but gfortran complains:
7 | call bar(A)
| 1
Error: Rank mismatch in argument ‘x’ at (1) (rank-1 and rank-2)
8 | call bar2(B)
| 1
Error: Rank mismatch in argument ‘y’ at (1) (rank-2 and rank-1)
Additionally, I had expected that the array is passed just to class->_data, but
the dump shows that there is a full array descriptor, i.e. class->_data.data
for the dummy argument.
In trans-types.cc's gfc_get_derived_type, the code path taken is:
if (c->attr.pointer || c->attr.allocatable || c->attr.pdt_array)
...
field_type = gfc_build_array_type (field_type, c->as, akind,
and not:
else
field_type = gfc_get_nodesc_array_type (field_type, c->as,
PACKED_STATIC,
!c->attr.target);
implicit none (type, external)
type t
integer :: i
end type t
type(t) :: A(10,10), B(10)
call bar(A)
call bar2(B)
contains
subroutine bar(x)
class(t) :: x(*)
x(1)%i = x(2)%i
end
subroutine bar2(y)
class(t) :: y(5,10)
y(1,1)%i = y(2,2)%i
end
end
