[Bug fortran/35831] [F95] Shape mismatch check missing for dummy procedure argument

[janus at gcc dot gnu.org]

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

--- Comment #8 from janus at gcc dot gnu.org 2011-09-10 11:26:50 UTC ---
(In reply to comment #7)
> "12.3.1 Characteristics of procedures
> The characteristics of a procedure are the classification of the procedure as a
> function or subroutine, whether it is pure, whether it is elemental, whether it
> has the BIND attribute, the characteristics of its dummy arguments, ..."
> 
> "12.3.2.2 Characteristics of dummy data objects
> The characteristics of a dummy data object are its type, its type parameters
> (if any), its shape, ...
> If a shape, size, or type parameter is assumed or deferred, it is a
> characteristic."
> 
> 
> Combining the three statements above, F08 clearly demands that the *shape* of
> the argument should be the same (meaning that the bounds themselves may
> differ).

Note that the same restrictions on dummy characteristics also apply to other
situations, like e.g. overriding type-bound procedures (cf. PR47978).