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

[Jim Thomas]

On May 17, 2012, at 5:08 PM, Fred J. Tydeman wrote:

> On Thu, 17 May 2012 16:43:51 -0700 Jim Thomas 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.
> 
> nextafter(DBL_MAX,INFINITY) is a range error (main text)
> and an "overflow" exception (Annex F).
> 
> nextup(DBL_MAX) might be treated the same (unless we
> prohibit errors / exceptions).

754:1985 specified an overflow for the nextafter case above. But 754:2008 says nextup is quiet except for sNaN arguments.

-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