(j3.2006) J3 Fortran interp letter ballot #22 - due 19-Nov-2010

Malcolm Cohen malcolm
Sun Oct 17 22:40:58 EDT 2010

Van Snyder wrote:
> -C-  ---  F03/0030   IEEE divide by zero
>          Change "not true" to "false" because "not true"
>          includes "undefined".

No it doesn't.

>  This leaves the program non-conforming
>          (presumably because the processor is defective) if the result
>          is undefined.

Being undefined is a property of a variable.  IEEE_SUPPORT_DATATYPE is not a 
variable, it is a function.  A function reference (other than a pointer-valued 
function) returns a value of the type.  That does not include the concept of 
being undefined.

................................Malcolm Cohen, Nihon NAG, Tokyo.

More information about the J3 mailing list