[Bug fortran/22571] Reject derived types for dummy arguments declared in the subroutine unless they are SEQUENCE

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2006-10-03 15:06 -------
(In reply to comment #5)

> The problem lies in the absence of global actual/formal argument checking;
> where there is an explicit interface, all works correctly.

Actually, it is not as bad as I thought:
(i)'p' being a non-sequence type dummy in a non-contained procedure should
generate an error because there is no way in which type association can occur
between the caller and 'a'.
(ii) The same is true of the actual argument in the call to 'a' from 'b'; since
'a' is external, a sequence type is required.

Paul 


-- 


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