(j3.2006) (SC22WG5.4592) [ukfortran] Ballot on N1885 and N1886

[John Reid]

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
>