[Cfp-interest 2738] double-double OP float128_t

[Fred J. Tydeman]

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.


---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of INCITS/C (ANSI "C")
Sample C17+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.