[Bug fortran/59547] [OOP] Problem with using tbp specification function in multiple class procedures

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
                 CC|                            |janus at gcc dot gnu.org
            Summary|Problem with using tbp      |[OOP] Problem with using
                   |specification function in   |tbp specification function
                   |multiple class procedures   |in multiple class
                   |                            |procedures

--- Comment #2 from janus at gcc dot gnu.org ---
As the example in PR 59450 shows, the propagation of the PURE attribute (from
the procedure symbol of 'get_num' to the corresponding PPC in the vtab) works
in principle (it happens in resolve_fl_derived0).

I think the problem here is simply related to the resolution order: We resolve
get_array before get_num, therefore the pureness has not been propagated yet.

I will try to find a way around it ...