[Cfp-interest] Part 3 - usual arithmetic conversions

[Jim Thomas]

Here's a shot at revising the Part 3 change for the usual arithmetic conversions - for discussion tomorrow.


In 6.3.1.8, replace the first 3 items after “This pattern is called the usual arithmetic conversions:” with:

If one operand has decimal floating type, then the other operand shall not have generic or binary floating type, complex type, or imaginary type.

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.

Otherwise, if both operands are floating types and the sets of values of their corresponding real types are equivalent, no further conversion is needed.

Otherwise, if both operands have floating types, the operand, whose set of values of its corresponding real type is a (proper) subset of the set of values of the corresponding real type of the other operand, is converted, without change of type domain, to a type with the corresponding real type of that other operand.

Otherwise, if one operand has a floating type, the other operand is converted to the corresponding real type of the operand of floating type.



-Jim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20130213/7525012f/attachment.html