[Bug fortran/70739] VALUE attribute interpretation in a non-interoperable procedure

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70739

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2016-04-22
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Steve Lionel's  comment to discuss here:
> - [...]For a non-interoperable procedure, one without BIND(C), VALUE causes
> a writable, temporary copy of the argument to be passed by reference.
> So in zmi's case, the call through the procedure pointer, defined with
> an interface that did not have BIND(C), caused the address of a copy
> of "length" to be passed.

This interpretation looks very weird. I had a quick look to the standard, but
did not find anything to support it. Would it be possible to have an exact
pointer to where it is stated?