Document: WG14 N1658

Another possible solution for DR 409

Submitter: Fred J. Tydeman (USA)
Submission Date: 2012-10-25
Subject: f(inf) is inf being a range error

Since some objected to implementation defined (because they would have to document), here is another possible solution.

1. 7.12.5.4 The cosh functions

   Change to: A range error occurs if the magnitude of finite x is too large. It is unspecified if a range error occurs for infinite x.

2. 7.12.5.5 The sinh functions

   Change to: A range error occurs if the magnitude of finite x is too large. It is unspecified if a range error occurs for infinite x.

3. 7.12.6.1 The exp functions

   Change to: A range error occurs if the magnitude of finite x is too large. It is unspecified if a range error occurs for infinite x.

4. 7.12.6.2 The exp2 functions

   Change to: A range error occurs if the magnitude of finite x is too large. It is unspecified if a range error occurs for infinite x.

5. 7.12.6.3 The expm1 functions

   Change to: A range error occurs if the magnitude of finite x is too large. It is unspecified if a range error occurs for infinite x.

6. 7.12.6.6 The ldexp functions

   Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for infinite x.

7. 7.12.6.13 The scalbn and scalbln functions

   Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for infinite x.

8. 7.12.7.3 The hypot functions

   Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for any argument being infinity.

9. 7.12.7.4 The pow functions

   Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for any argument being infinity.

10. 7.12.8.2 The erfc functions

    Change to: A range error occurs if finite x is too large. It is unspecified if a range error occurs for infinite x.

11. 7.12.8.3 The lgamma functions

    Change to: A range error occurs if finite x is too large. It is unspecified if a range error occurs for infinite x.

12. 7.12.8.4 The tgamma functions

    Change to: A range error occurs if the magnitude of finite x is too large and may occur if the magnitude of x is too small. It is unspecified if a range error occurs for positive infinity x.

13. 7.12.12.1 The fdim functions

    Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for any argument being infinity.

14. 7.12.13.1 The fma functions

    Change to: A range error may occur for finite arguments. It is unspecified if a range error occurs for any argument being infinity.