(j3.2006) (SC22WG5.4772) [Letter ballot 3 on Fortran 2008 interpretations]

[Van Snyder]

On Thu, 30 Aug 2012 02:26:52 -0700, Robert Corbett wrote:

Concerning F03/0121, Robert Corbett wrote:

> I agree with Van that nothing in the standard or in the
> existing interpretations requires VOLATILE to force a
> conversion.

My most fundamental objection to the interpretation is that it is
inconsistent with the requirements of 4.1.2, 4.2, and 13.7.2.  According
to 4.1.2 and 4.2, A type is characterized by a kind type parameter.  The
type and kind type parameter value together specify a set of valid
values.  According to 13.7.2, a function is required to return a value
that is a member of the set of valid values for the type and kind of its
result.  The interpretation violates this requirement.