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).
