(j3.2006) (SC22WG5.3662) [ukfortran] N1755: Request for new features from MPI Forum

[Bill Long]

Aleksandar Donev wrote:
>
>
> Anyway, I found only two cases of relevance where VOLATILE and ASYNCHRONOUS 
> were not both included:
>
> 1. "C557 An entity with the VALUE attribute shall not have the ... VOLATILE 
> attribute."
> Van wrote a paper that this is stupid and should be deleted. I cannot remember 
> if it passed. I supported it.
>   

I don't see an edit like this in 08-020r1.

> 2. "C559 An entity with the VOLATILE attribute shall be a variable that is not 
> an INTENT (IN) dummy argument."
> Please explain this one to me.
>   

INTENT(IN) implies that the dummy argument does not change its value 
(for the non-pointer case) inside the subprogram.  It allows the 
compiler to snap a copy of the variable in a register and keep it there 
throughout execution of the subprogram, for example.  Pretty much 
completely incompatible with the implications of volatile.

Cheers,
Bill


> Are there other examples?
>
> Thanks,
> Aleks
>
>   

-- 
Bill Long                                   longb at cray.com
Fortran Technical Support    &              voice: 651-605-9024
Bioinformatics Software Development         fax:   651-605-9142
Cray Inc., 1340 Mendota Heights Rd., Mendota Heights, MN, 55120