Re: How to check a Float for NaN

"Adam Beneschan" <adam@[EMAIL PROTECTED]
> wrote in message 
news:fe6a8cc1-eac7-4b25-bd21-39f9c2015c4a@[EMAIL PROTECTED]
> On May 1, 1:04 am, "Stuart" <stu...@[EMAIL PROTECTED]
> wrote:
>> "Adam Beneschan" <a...@[EMAIL PROTECTED]
> wrote in message
>
>> > 13.9.2(4-11) lists the ways
>> > that invalid data could be created, and the "result of a floating-
>> > point operation that cannot return a valid result" is not one of
those
>> > listed.  Yes, I know that this is a NOTE and is not normative.)
>>
>> Would not 13.9.2(10) cover this:
>>    "disrupting an assignment due to the failure of a language-defined 
>> check
>> (see 11.6)"
>
> Did you read 11.6?

I tried, but legalese is not my first language and I find some of the 
'language lawyerly' stuff rather impenetrable at times. ;-)

> I think all this says is that if an assignment statement raises an
> exception (due to a language-defined check), then in the exception
> handler and further on in the code, you can't count on the value of
> the target object being normal.  You can't count on it being abnormal,
> either.  But if no exception is raised, then this doesn't apply.

I agree with what you are saying here; which I read as 'you can't count on

the target object being obviously invalid (e.g. a NaN), but it _could_
be'. 
As such 13.9.2(10) appears to sup****t a case by which a NaN value could 
arise in an object during computation.

In a nominal Ada program it would be sensible to deal with the situation
in 
the exception handler, rather than let it slide and try and resolve it
later 
using 'valid.  But then, I think, we are picking-over the innards of some 
murky corner case of the language - so good-sense need not apply ;-)

I would hazard a guess that we have strayed well away from the OP's
original 
area of interest (he was probably validating inputs), and as you noted 
earlier.

Regards
-- 
Stuart