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.