[cfp-interest 3489] Re: frexp() in Annex F

[Damian McGuckin]

Vincent,

On Fri, 30 May 2025, Vincent Lefevre wrote:

>> Hmmmm. Possibly replace both it and the item prior with
>>
>> 	frexp (x, p) returns x with an unspecified value in the object
>> 	pointed to by p when x is a NaN or |x| = OO
>> 
>> where OO is my bad attempt at infinity. Should 'when' be a 'for'?
>
> "returns x" is incorrect for NaN because it might not be the same NaN.

I think F.10.1.#17 says it should be. But let's not go there.

What do you think of?

 	frexp (NaN, p) (returns a NaN and) leaves the object pointed to by
 	p containing an unspecified value

which handles the normative case correctly and reads correctly in English. 
It does not specify what the function has to do, just the net result.

> And instead of "|x| = ?", you could say "x is ??" (this form is used
> in F.10.4.4 for hypot).

Yes. In the latest draft, this is F.10.5.4.  See my subsequent post.

Thanks - Damian