From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org Fri Sep 14 03:19:23 2012 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 48A12356936; Fri, 14 Sep 2012 03:19:23 +0200 (CEST) Delivered-To: sc22wg5@open-std.org Received: from mail.jpl.nasa.gov (mailhost.jpl.nasa.gov [128.149.139.109]) by www.open-std.org (Postfix) with ESMTP id E5E1D35691D for ; Fri, 14 Sep 2012 03:19:20 +0200 (CEST) Received: from [137.79.7.57] (math.jpl.nasa.gov [137.79.7.57]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.2.2/Sentrion-MTA-4.2.2) with ESMTP id q8E1JIwt009977 (using TLSv1/SSLv3 with cipher DHE-RSA-AES256-SHA (256 bits) verified NO) for ; Thu, 13 Sep 2012 18:19:19 -0700 Subject: [Re: Letter ballot 3 on Fortran 2008 interpretations] From: Van Snyder Reply-To: Van.Snyder@jpl.nasa.gov Content-Type: text/plain; charset="ISO-8859-1" Organization: Yes Date: Thu, 13 Sep 2012 18:19:18 -0700 Message-ID: <1347585558.24896.40.camel@math.jpl.nasa.gov> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 (2.28.3-24.el6) Content-Transfer-Encoding: 7bit X-Source-Sender: Van.Snyder@jpl.nasa.gov X-AUTH: Authorized To: undisclosed-recipients:; Sender: owner-sc22wg5@open-std.org Precedence: bulk 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.