(j3.2006) (SC22WG5.4531) Ballot on interps in N1875

Van Snyder Van.Snyder
Wed Sep 21 19:29:56 EDT 2011


Yes  No Number     Title
--- -N- F03/0030   IEEE divide by zero
     Edits could be construed to introduce a contradiction between 13.7.1
     and 14.3.  My vote would be yes if the penultimate sentence of
     13.7.1p2 began "If support is provided and an infinite result...."
-C- --- F03/0048   Control edit descriptors in UDDTIO
     In the second paragraph of the answer, "possibility" should be "possibly"
-Y- --- F03/0085   Finalizing targets of pointer or allocatable
-Y- --- F03/0091   Array components cannot depend on length type parameters
--- -N- F03/0096   Can a read statement change the unit value?
     My vote would be yes if the sentence introduced at the end of 9.12p5
     included "in the same statement" (as does the existing sentence in that
     paragraph).
-Y- --- F03/0105   SIZE= specifier and UDDTIO
-Y- --- F03/0110   Restoring dropped restriction on ENTRY
--- -N- F03/0121   Precise FP semantics of the REAL intrinsic
     Un ugly unsatisfying answer that appears to have been crafted by a
     politician trying to evade the real issue, perhaps because of a
     deficit of knowledge of issues important in numerical analysis.
     I don't understand the necessity for REAL not to do what it
     says it does.  The answer simply confirms a contradiction.  My
     answer would be yes if the answer were that REAL(<expr>,KIND=k)
     returns a value that is the same value that a REAL variable of
     kind k would have, if <expr> were to have been assigned to that
     variable.  After all, REAL is a function, and therefore has a
     result variable to which its result value is assigned.
-Y- --- F03/0123   Implicit typing in derived types
-Y- --- F03/0124   definition is poorly defined
-Y- --- F03/0128   Subobjects in namelist output
-Y- --- F08/0001   Generic resolution with pointer dummy arguments
-Y- --- F08/0002   Are assumed- or deferred-shape objects allowed in namelist?
-Y- --- F08/0003   Is a disassociated pointer allowed as an actual DIM 
                   argument?
-Y- --- F08/0004   Is TARGET argument of ASSOCIATED a pointer or nonpointer 
                   dummy?
        F08/0005*  optional arguments and ASSOCIATED - subsumed by F08/0004
-Y- --- F08/0006   generic resolution with banned argument combinations
-C- --- F08/0007   Can zero have more than one bit sequence representation?
     One's complement is not the only case in which signed zero could arise.
     Sign magnitude (e.g. IBM 7094) or decimal machines (IBM 7010 etc.),
     or XS3 machines (Univac 1005).  But these are irrelevant now.
--- -N- F08/0008   IEEE exceptions for intrinsic functions
     See answer to F03/0030.  There are no edits here, but arguing that the
     requirement in 13.7.1p2 does not apply admits a contradiction.  My answer
     would be yes if there were an edit causing the penultimate sentence of
     13.7.1p2 to begin "If support is provided and an infinite result...."
-Y- --- F08/0009   Is ABS ever required to be the optional IEC 60559 abs?
--- -N- F08/0010   deallocating objects that are associated with other objects
     The "argument" parts of the edits are not necessary; they are covered by
     12.5.2.13p1(1) and (3).  We should have imposed a similar requirement
     for construct association, but did not, so the remainder of the edits
     are germane.
-Y- --- F08/0011   How many times are constructed values finalized?
        F08/0012*  Are constants finalized? - subsumed by F08/0011
-Y- --- F08/0013   How does finalization interact with allocatable assignment?
-Y- --- F08/0014   Finalizing assignment to vector-subscripted object
-Y- --- F08/0015   IMPLICIT
-Y- --- F08/0016   Can a vector-subscripted argument become undefined?
-Y- --- F08/0017   Elemental subroutine restrictions
-C- --- F08/0018   Impure elemental restrictions
     Edits in F08/0018 subsume those in F08/0017
-Y- --- F08/0019   Transformational Bessel functions
-Y- --- F08/0020   FINDLOC and logical arguments

* F08/0005 is subsumed by F08/0004 and F08/0012 is subsumed by F08/0011.  
Each pair of these interps must be voted on together.





More information about the J3 mailing list