------- Comment #4 from fxcoudert at gcc dot gnu dot org 2008-02-29 20:23 ------- (In reply to comment #3) > The dummy arguments have a scope of the statement function. Each > dummy argument has the same type and type parameters as the > entity of the same name in the scoping unit containing the statement > function. > > Note, this passage does not include rank.
No, but it does not say that they are scalar either. It does not say "Each dummy argument is a scalar of the same type and type parameters...". If we follow this interpretation, then what does "The function-name and each dummy-arg-name shall be specified, explicitly or implicitly, to be scalar" mean? In your (and Richard Maine's and ...) reading, the dummy arguments are by definition scalar, and so how can they be "specified, explicitly or implicitly, to be scalar". Or, to say it the other way around, let's say that I want to break this particular constraint, how do I explicitly specify one of my dummy arguments not to be a scalar? I'm thoroughly confused. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35299
