N2323: SD3#1 (DR 440): FP types being 60559 formats

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:

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
    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
    (追記ここまで)
   
   

2. 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.