Submitter:Fred Tydeman
Submission Date: 2018-12-12
Document: WG14 N2323
Reference Documents: N1730
Summary
SD3 item 1 (DR 440) against C2X: Floating-point types are 60559 (aka 754) formats.
It was decided that DR 440 would be fixed in C2X.
Possible Technical Corrigendum:
In §5.2.4.2.2, insert a new paragraph after paragraph 11:
Whether a type matches an IEC 60559 format is
characterized by the implementation-defined values of
FLT_IS_IEC_60559, DBL_IS_IEC_60559, and
LDBL_IS_IEC_60559 (this does not imply conformance
to Annex F):
0 type does not match an IEC 60559 format
1 type's values and operations are those of an IEC 60559 basic,
interchange or extended format
Add to §5.2.4.2.2 paragraph 17 (Example 2)
FLT_IS_IEC_60559 1 DBL_IS_IEC_60559 1
In §5.2.4.2.2, insert a new paragraph after paragraph 11:
Whether a type matches an IEC 60559 format is
characterized by the implementation-defined values of
FLT_IS_IEC_60559, DBL_IS_IEC_60559, and
LDBL_IS_IEC_60559 (this does not imply conformance
to Annex F):
0 type does not match an IEC 60559 format
n type's values and operations are those of an IEC 60559 basic,
interchange or extended format; n is the number of bits (not
counting padding bits) in the format
Add to §5.2.4.2.2 paragraph 17 (Example 2)
FLT_IS_IEC_60559 32 DBL_IS_IEC_60559 64
Existing practice
None known. But, it is easy to add these macros.