From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org Sat Nov 19 16:41:58 2011 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 0AAA135692C; Sat, 19 Nov 2011 16:41:58 +0100 (CET) Delivered-To: sc22wg5@open-std.org Received: from mk-filter-4-a-1.mail.uk.tiscali.com (mk-filter-4-a-1.mail.tiscali.co.uk [212.74.100.55]) by www.open-std.org (Postfix) with ESMTP id 1BDD2356910 for ; Sat, 19 Nov 2011 16:41:54 +0100 (CET) X-Trace: 692806416/mk-filter-4.mail.uk.tiscali.com/B2C/$b2c-THROTTLED/TalkTalk_Customer/2.97.119.74/None/John.Reid@stfc.ac.uk X-SBRS: None X-RemoteIP: 2.97.119.74 X-IP-MAIL-FROM: John.Reid@stfc.ac.uk X-SMTP-AUTH: X-Originating-Country: XX/UNKNOWN X-MUA: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110928 Firefox/7.0.1 SeaMonkey/2.4.1 X-IP-BHB: Once X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMBAMXNx04CYXdK/2dsb2JhbAAMN4UBqDUBAQEDAQEBASAPAQUbGwoGBwQJAhEDAQIDAgUWCwICCQMCAQIBFQEnCAYNCAKHfwikH5EFgTCHUYEWBJIdgh+FKYxc X-IronPort-AV: E=Sophos;i="4.69,538,1315177200"; d="scan'208";a="692806416" Received: from host-2-97-119-74.as13285.net (HELO [127.0.0.1]) ([2.97.119.74]) by smtp.tiscali.co.uk with ESMTP; 19 Nov 2011 15:41:53 +0000 Message-ID: <4EC7CE40.2030302@stfc.ac.uk> Date: Sat, 19 Nov 2011 15:41:52 +0000 From: John Reid User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110928 Firefox/7.0.1 SeaMonkey/2.4.1 MIME-Version: 1.0 To: WG5 Subject: Re: [ukfortran] (SC22WG5.4587) Ballot on N1885 and N1886 References: <20111115104741.B46C73568EC@www.open-std.org> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-sc22wg5@open-std.org Precedence: bulk Malcolm, > > <<< > 8.3.9, para 5. Change "If a dummy ... effective argument; the" to > "In a reference to the C procedure from Fortran, if a formal parameter of > the prototype is a pointer to CFI_cdesc_t, the corresponding formal > parameter of the reference is interpreted as the address of a C descriptor > with the following properties > (1) if the dummy argument is allocatable or a pointer, the C > descriptor shall describe the effective argument; > (2) otherwise, if the dummy argument is assumed rank, the C descriptor > shall describe the effective argument as an assumed-shape object; > (3) otherwise, if the effective argument is assumed size, the C > descriptor shall describe the effective argument; > (4) otherwise, if the effective argument is a pointer, the C descriptor > shall describe the target of the effective argument; > (5) otherwise, the C descriptor shall describe the effective argument > as an assumed-shape object. >>>> > > Item (4) is describing the impossible. If the dummy argument is not a > pointer and the actual argument is a pointer, the effective argument is > the target of the actual argument and so is not a pointer. > > See 12.5.2.3p2. > > Once this impossibility is deleted you will have 4 list items all of > which say "shall describe the effective argument". I cannot agree with > that wording! Oh dear! Every occurrence of 'effective' should be 'actual'. I will change my vote. > What is the perceived problem with the current wording that you are > attempting to address? I need to expand my reason para. How's this? Reason: The present wording is insufficiently precise about which value should be given to the attribute member in the C descriptor. Reading this through, I think it would help to add "as an assumed-shape object" at the end of (4). I append the whole changed comment. Cheers, John. ................................................................... 8.3.9, para 5. Change "If a dummy ... actual argument; the" to "In a reference to the C procedure from Fortran, if a formal parameter of the prototype is a pointer to CFI_cdesc_t, the corresponding formal parameter of the reference is interpreted as the address of a C descriptor with the following properties (1) if the dummy argument is allocatable or a pointer, the C descriptor shall describe the actual argument; (2) otherwise, if the dummy argument is assumed rank, the C descriptor shall describe the actual argument as an assumed-shape object; (3) otherwise, if the actual argument is assumed size, the C descriptor shall describe the actual argument; (4) otherwise, if the actual argument is a pointer, the C descriptor shall describe the target of the actual argument as an assumed-shape object; (5) otherwise, the C descriptor shall describe the actual argument as an assumed-shape object. In a reference to the Fortran procedure from C, if a formal parameter of the prototype is a pointer to CFI_cdesc_t, the corresponding argument shall be the address of a C descriptor with the following properties (1) if the dummy argument is of assumed rank or is a nonallocatable, nonpointer variable of type CHARACTER with assumed length, the C descriptor shall describe an assumed-shape object; (2) otherwise, the C descriptor shall describe an object with the properties declared in the Fortran interface for the dummy argument. The" Reason: The present wording is insufficiently precise about which value should be given to the attribute member in the C descriptor. > > -----Original Message----- From: John Reid > Date: 平成 23年11月15日 19:47 > To: WG5 > Subject: [ukfortran] (SC22WG5.4587) Ballot on N1885 and N1886 > > WG5, > > Here is my personal vote on > N1885, the TS 29113 DTS draft, and > N1886, Draft response to PDTS 29113 vote > > As convener, please may I remind you that the ballot ends at 9 a.m. (UK > time) on November 21st 2011? > > John. > > > > > > > _______________________________________________ > ukfortran mailing list > http://lists.accu.org/mailman/listinfo/ukfortran >