https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66409
--- Comment #8 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Fri, Oct 07, 2022 at 08:42:51PM +0000, mikael at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66409 > > Mikael Morin <mikael at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |mikael at gcc dot gnu.org > > --- Comment #7 from Mikael Morin <mikael at gcc dot gnu.org> --- > (In reply to anlauf from comment #6) > > (In reply to Steve Kargl from comment #5) > > > > > Perhaps, someone, who cares about this bug, can point at the language in > > > the Fortran standard. > > > > I looked again at F2018 and couldn't find anything. > > > > I think it's in 15.4.3.4.5 Restrictions on generic declarations. > But it's too late for me to decipher what's written there. > 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 and not the INTENT (IN) attribute, or · one is a function with nonzero rank and the other is not known to be a function. Bullet 2 is the TKR restriction. Admittedly, 21-007.pdf:C1514 is somewhat difficult to parse with the non-passed-object dummy data object vs passed-object dummy data object language.
