[Bug fortran/96992] New: Class arrays of different ranks are rejected as storage association argument

[Bug fortran/96992] New: Class arrays of different ranks are rejected as storage association argument

[tkoenig at gcc dot gnu.org]

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

            Bug ID: 96992
           Summary: Class arrays of different ranks are rejected as
                    storage association argument
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tkoenig at gcc dot gnu.org
  Target Milestone: ---

The following program is wrongly rejected.  I don't find anything
wrong with it from my reading of the F2018 standard. This is classic
sequence association, as defined in 15.5.2.11 of F2018:

# An actual argument that represents an element sequence and
# corresponds to a dummy argument that is an array is sequence
# associated with the dummy argument. The rank and shape of the
# actual argument need not agree with the rank and shape of the
# dummy argument, but the number of elements in the dummy argument
# shall not exceed the number of elements in the element sequence
# of the actual argument. If the dummy argument is assumed-size,
# the number of elements in the dummy argument is exactly
# the number of elements in the element sequence.

module foo_mod
  implicit none
  type foo
     integer :: i
  end type foo
contains
  subroutine d1(x,n)
    integer, intent(in) :: n
    class (foo), intent(out), dimension(n) :: x
    select type(x)
    class is(foo)
       x%i = 42
    class default
       stop "Bad crazyness"
    end select
  end subroutine d1
  subroutine d2(x,n)
    integer, intent(in) :: n
    class (foo), intent(in), dimension(n,n) :: x
    select type (x)
    class is (foo)
       print *,x%i
    class default
       stop "Even worse crazyness"
    end select
  end subroutine d2
end module foo_mod
program main
  use foo_mod
  implicit none
  type (foo), dimension(:), allocatable :: f
  integer :: n
  n = 3
  allocate (f(n*n))
  call d1(f,n*n)
  call d2(f,n)
end program main

[Bug fortran/96992] Class arrays of different ranks are rejected as storage association argument

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-10-05
             Status|UNCONFIRMED                 |NEW

[Bug fortran/96992] Class arrays of different ranks are rejected as storage association argument

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |vehre at gcc dot gnu.org

[Bug fortran/96992] Class arrays of different ranks are rejected as storage association argument

[vehre at gcc dot gnu.org]

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

--- Comment #1 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Created attachment 58430
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58430&action=edit
Fix ICE and class array stride in dim 0.

[Bug fortran/96992] Class arrays of different ranks are rejected as storage association argument

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #2 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Waiting for review of:
https://gcc.gnu.org/pipermail/fortran/2024-June/060582.html

[Bug fortran/96992] Class arrays of different ranks are rejected as storage association argument

[vehre at gcc dot gnu.org]

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

--- Comment #3 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Second version of patch. Now also working for negative strides:
https://gcc.gnu.org/pipermail/fortran/2024-June/060592.html
Waiting for review.