Spin-off from PR 43291 comment #10 ...
The following gives the wrong result:
module m1
type :: t1
contains
procedure :: sizeof
end type
contains
integer function sizeof(a)
class(t1) :: a
sizeof = 1
end function sizeof
end module
module m2
use m1
type, extends(t1) :: t2
contains
procedure :: sizeof => sizeof2
end type
contains
integer function sizeof2(a)
class(t2) :: a
sizeof2 = 2
end function
end module
module m3
use m2
type :: t3
class(t1), pointer :: a
contains
procedure :: sizeof => sizeof3
end type
contains
integer function sizeof3(a)
class(t3) :: a
sizeof3 = a%a%sizeof()
end function
end module
use m1
use m2
use m3
class(t1), pointer :: a, ptr
type(t1), target :: x
type(t2), target :: y
type(t3) :: z
a => x
print *, a%sizeof()
a => y
print *, a%sizeof()
z%a => x
print *, z%sizeof(), z%a%sizeof()
z%a => y
print *, z%sizeof(), z%a%sizeof()
end
gives
1
2
1 1
2 1
The last line should read
2 2
of course.
--
Summary: [OOP] dynamic dispatch with CLASS components
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: janus at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43326
