[Cfp-interest 2745] Re: double-double OP float128_t

[Vincent Lefevre]

On 2023-03-29 18:28:05 +0300, Fred J. Tydeman wrote:
> H.4.2 Usual arithmetic conversions
> 
> If both operands have floating types and neither of the sets of values of their corresponding
> real types is a subset of (or equivalent to) the other, the behavior is undefined.
> 
> 
> For maximum portability, that should be a constraint violation.
> 
> Perhaps, 6.3.1.8 Usual arithmetic conversions, could be changed along the lines of:
> 
> If both operands are floating types, the values of the type of one operand 
> shall be a subset of the values of the type of the other operand.

I agree. This can be checked at compilation time and I cannot see
any reasonable behavior.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)