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

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

[burnus at gcc dot 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

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

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Part of the testcase is part of the patch at:
  https://gcc.gnu.org/pipermail/gcc-patches/2022-March/591414.html

When this PR is fixed (and that patch is committed): Please uncomment the
commented lines.

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

[burnus at gcc dot gnu.org]

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Mentioned patch was committed as
r12-7558-ga5c9b7c4f95ef77b83da82241cabdf80d8b1cad5
Thus, when this PR is fixed, please uncomment the respective lines in
   gcc/testsuite/gfortran.dg/sizeof_6.f90