http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45521
--- Comment #15 from janus at gcc dot gnu.org 2012-10-06 12:35:26 UTC ---
(In reply to comment #0)
> Fortran 2008's "12.4.3.4.5 Restrictions on generic declarations" has"
>
> "Two dummy arguments are distinguishable if
> - one is a procedure and the other is a data object,
> - they are both data objects or known to be functions, and neither is TKR
> compatible with the other,
> - one has the ALLOCATABLE attribute and the other has the POINTER attribute,
> or
> - one is a function with nonzero rank and the other is not known to be a
> function."
r192157 implements item 3 and contains a bugfix for item 1, so that items 1-3
should be handled correctly.
About item 4 I'm not completely sure, but possibly we still miss that.
> Interpretation request F08/0001 / 10-145 changes this ("EDITS to 10-007")"
>
> '[286:4] In 12.4.3.4.5p3, after "the other has the POINTER attribute",
> Insert "and not the INTENT(IN) attribute".'
> Cf. http://j3-fortran.org/doc/meeting/193/10-199.txt
Unfortunately this was forgotten in the above commit. To do!
