[Cfp-interest] Part 1: nextup(DBL_MAX)

[Jim Thomas]

On May 17, 2012, at 9:24 AM, Fred J. Tydeman wrote:

> Is 
>  nextup(DBL_MAX)
> allowed to be a "range error"?
> 
> Or, do we need to add words along the lines of:
>  A range error shall not occur for any argument.

What cases are you thinking of? I don't see why a range error would be needed.

> 
> Should we also add:
>  The returned value is exact and is independent of
>  the current rounding direction mode.
> 
> NOTE:  Words about [in]exact and rounding should be 
> added for all new math functions.

For the new Annex F text, I agree. For example: 
----------

After F.10.8.4, add:

F.10.8.5 The nextup functions

— nextup(+∞) returns +∞.


— nextup(-∞) returns the largest-magnitude negative finite number in the type of the function. 

The returned value is exact and is independent of the current rounding direction mode.  
----------

This matches what we already have for the math functions in C11 Annex F. Any objections to my adding this for the new functions?

-Jim

> 
> ---
> 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.
> 
> _______________________________________________
> Cfp-interest mailing list
> Cfp-interest at oakapple.net
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20120517/39297362/attachment.html