http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46161
Summary: [OOP] Invalid: Passing non-polymorphic to allocatable
polymorphic dummy
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Keywords: accepts-invalid
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: bur...@gcc.gnu.org
Follow up to PR 45451 comment 14. The following is not detected:
Passing a non-polymorphic actual argument ("type(foo), allocatable") to an
allocatable polymorphic dummy ("class(foo), allocatable").
>From Fortran 2008: "12.5.2.5 Allocatable and pointer dummy variables"
"The actual argument shall be polymorphic if and only if the associated dummy
argument is polymorphic, and either both the actual and dummy arguments shall
be unlimited polymorphic, or the declared type of the actual argument shall be
the same as the declared type of the dummy argument."
Test case: attachment 21613 of PR 45451. Crayftn rejects the example with the
following error message - gfortran prints no error:
call doit(atx,acsr)
^
ftn-1872 crayftn: ERROR BUG23, File = long2.f90, Line = 304, Column = 17
Dummy argument "ACSR" is a polymorphic ALLOCATABLE. It requires a
polymorphic ALLOCATABLE actual argument.
