Document: WG14 N1203
Date: 2006/12/15


Defect Report #3xx

Previous Defect Report < - > Next Defect Report


Submitter: Fred Tydeman (USA)
Submission Date: 2006-12-12
Source: WG 14
Reference Document: ISO/IEC WG14 N1203
Version: 1.0
Date: 2006-12-12
Subject:Missing semantics of comparision macros

Summary

Section 7.12.14 Comparision macros (and subsections) are missing Semantics. In particular, something along the lines of: "The usual arithmetic conversions are performed on the operands." This matters if the two operands are of different type, e.g., isless(4.f/3.f,4.L/3.L).

In addition, we might need to add something alone the lines of: "The result of the ... operator is ..." to each of the subsections. We should consider section 6.5.8 Relational operators when we process this defect.

We should review the Constraints of 6.5.* and consider adding something along the lines of: "Each of the operands shall have real floating-type." to 7.12.14 as a constraint. The example in 7.12.3.1 paragraph 4 which uses sizeof will not work when float and _Decimal32 are the same size; nor for double and _Decimal64 being the same size.

Suggested Technical Corrigendum


Proposed Technical Corrigendum

Committee Discussion (for history only)

Committee Response


Previous Defect Report < - > Next Defect Report