Date: Wed, 5 Jun 2013 19:00:21 +1000 (EST) From: Bruce Evans <brde@optusnet.com.au> To: numerics@freebsd.org Subject: isinf() on NaN args Message-ID: <20130605183354.V1244@besplex.bde.org>
next in thread | raw e-mail | index | archive | help
Is isinf(x) (or even fpclassify(x)) permitted to raise FE_INVALID if x is a (quiet) NaN? It shouldn't, but I can't find where C99 requires this. I can only find where C99 requires FE_INVALID to not be raised for comparison macros. It should raise if x is a signaling NaN, but C99 doesn't specify signaling NaNs and the hardware behaviour is more varied and the software bugs are larger for signaling NaNs, so getting this wrong in many cases doesn't matter much. Bruce
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20130605183354.V1244>