http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46662
Summary: [OOP] gfortran rejects CALL
polymorphic%abstract_type%tbp()
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: bur...@gcc.gnu.org
CC: sfilipp...@uniroma2.it, ja...@gcc.gnu.org
Tracking - not yet clear whether gfortran mishandles it.
Reported by salvatore at c.l.f,
http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/a0857fa4a692d518#
gfortran currently rejects:
CALL polymorphic%abstract_type%tbp()
Which seems to be valid according to the quotes from the standard (see below).
However, if it is valid, I fail to find a restriction prohibiting a call to a
deferred TBP, which has to be invalid.
R1220 call-stmt is CALL procedure-designator [ ( [ actual-arg-spec-list ] ) ]
R1221 procedure-designator is procedure-name
or proc-component-ref
or data-ref % binding-name
R611 data-ref is part-ref [ % part-ref ] ...
R612 part-ref is part-name [ ( section-subscript-list ) ] [ image-selector ]
C611 (R611) If the rightmost part-name is of abstract type, data-ref shall be
polymorphic.
