[Bug fortran/57530] [OOP] Wrongly rejects type_pointer => class_target (which have identical declared type)

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57530

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Tobias Burnus from comment #1)
> Patch: http://gcc.gnu.org/ml/fortran/2013-06/msg00045.html

Sigh, the patch isn't sufficient as the trans*.c code associate the TYPE with
the CLASS container - not its content. Test case below.

! { dg-do run }
!
! PR fortran/57530
!
module m
  implicit none
  type t
    integer :: ii = 55
  end type t
contains
  subroutine sub (tgt, tgt2)
    class(t), target :: tgt, tgt2(:)
    type(t), pointer :: ptr, ptr2(:)

    if (tgt%ii /= 43) call abort()
    if (size (tgt2) /= 3) call abort()
    if (any (tgt2(:)%ii /= [11,22,33])) call abort()

    ptr => tgt  ! TYPE => CLASS
    ptr2 => tgt2  ! TYPE => CLASS

    if (.not. associated(ptr)) call abort()
    if (.not. associated(ptr2)) call abort()
    if (.not. associated(ptr,tgt)) call abort()
    if (.not. associated(ptr2,tgt2)) call abort()
    if (ptr%ii /= 43) call abort()
    if (size (ptr2) /= 3) call abort()
    if (any (ptr2(:)%ii /= [11,22,33])) call abort()
  end subroutine sub
end module m

use m
type(t), target :: x
type(t), target :: y(3)
x%ii = 43
y(:)%ii = [11,22,33]
call sub(x,y)
end