http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51514
Bug #: 51514 Summary: [OOP] Wrong code when passing a CLASS to a TYPE Classification: Unclassified Product: gcc Version: 4.7.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: fortran AssignedTo: unassig...@gcc.gnu.org ReportedBy: bur...@gcc.gnu.org The following program (subprog_poly_nonpoly_01_pos.f90) of Reinhold Bader's test suite fails with at run time with: ==17368== Invalid read of size 4 ==17368== at 0x400AB4: MAIN__ (subprog_poly_nonpoly_01_pos.f90:21) ==17368== by 0x400BCD: main (subprog_poly_nonpoly_01_pos.f90:16) That's the line: if (xx%i == 3) then The problem is that one passes the CLASS and not the TYPE to the subroutine: subpr (&xx); if (xx._data->i == 3) The first line should have been subpr(&xx._data) It works with the Intel Compiler 12.1. (See also PR 46990.) module mod_subpr implicit none type :: foo integer :: i = 2 end type type, extends(foo) :: foo_1 real :: r(2) end type contains subroutine subpr(x) type(foo) :: x x%i = 3 end subroutine end module program prog use mod_subpr implicit none class(foo), allocatable :: xx allocate(foo_1 :: xx) call subpr(xx) if (xx%i == 3) then write(*,*) 'OK' else write(*,*) 'FAIL' end if end program