[Bug fortran/43193] [OOP] Calling type-bound procedure of abstract type wrongly rejected

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2010-02-27 17:25 -------
Close as INVALID.

Patch posted was: http://gcc.gnu.org/ml/fortran/2010-02/msg00225.html

However, Jim Xia thinks it is invalid - and I think he is right - as C611 has:
  R611 data-ref is part-ref [ % part-ref ] ...
  C611 (R611) If the rightmost part-name is of abstract type,
              data-ref shall be polymorphic.

Thus, a data-ref something%parent, parent needs to by polymorphic (CLASS).

And for the call, one has:

  R1219 procedure designator is [...] or  data-ref % binding-name

thus in   something%parent%binding_name  "parent" needs to be polymorphic, i.e.
not abstract.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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