[Bug fortran/104844] New: CLASS actual to assumed-rank TYPE(*) wrongly passes declared instead of dynamic type

["burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104844

            Bug ID: 104844
           Summary: CLASS actual to assumed-rank TYPE(*) wrongly passes
                    declared instead of dynamic type
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

The following testcase shows that not the dynamic type but the declared type is
passed in the call.

Or rather: It shows that decl->elem_len matches the declared type, I have not
checked the values.



implicit none (type, external)

type t
  integer, allocatable :: a(:,:,:), aa
  integer :: b(5), c
end type t

type t2
   class(t), allocatable :: d(:,:), e
end type t2

type, extends(t2) :: t2e
  integer :: q(7), z
end type t2e

type(t2) :: dummy
class(t2), allocatable :: var
allocate (t2e :: var)
print *, sizeof(dummy), sizeof(var)  ! prints 112 144
call sz_ar(var, var)
contains
  subroutine sz_ar (a, b)
    type(*) :: a(..)
    class(*) :: b(..)
    print *, sizeof(a), sizeof(b) ! prints 112 144 - expected: 144 144
    if (sizeof(a) /= sizeof(b)) error stop
  end
end