[Cfp-interest] review draft for CFP TS Part 1 content

[Fred J. Tydeman]

On Wed, 4 Jan 2012 16:23:02 -0800 Jim Thomas wrote:
>
>The errno requirements are not in yet. Fred, would you be 
>willing to list the errno changes you think are needed?

F.2.1 Infinities and NaNs 
Recommended practice 
Add at end of 1st paragraph: (and for functions, shall be a domain
error).

7.12.6.7 The llogb functions
Add at end of description:  and a domain error occurs.

7.12.14.1 Add and round to narrower type
Add at end of description:  for finite arguments.  A domain error may
occur for infinite arguments.

7.12.14.2 Subtract and round to narrower type
Add at end of description:  for finite arguments.  A domain error may
occur for infinite arguments.

7.12.14.3 Multiply and round to narrower type
Add at end of description:  for finite arguments.  A domain error
occurs for one infinite argument and one zero argument.

7.12.14.4 Divide and round to narrower type
Add at end of description:  for finite arguments.  A domain error
occurs for either both arguments infinite or both arguments zero.  A
pole error occurs for a finite x and a zero y.

7.12.14.5 Floating multiply-add and round to narrower type
Add at end of description:  for finite arguments.  A domain error
may occur for an infinite argument.

7.12.14.6 Square root and round to narrower type
Add at end of description: for finite positive arguments.  A domain
error occurs for negative arguments.

F.10.8.5 The canonicalize functions
ISSUE:  SNaN => domain error?  No where else in Annex F is domain
error mentioned.  But, if math errors are reported via both flags and
errno, then error shall be set to EDOM.


---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (775) 358-9748      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.