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


Submitter:Fred Tydeman
Submission Date: 2019年05月01日
Document: WG14 N2379
Title:N2379: SD3#1 (DR 440): FP types being 60559
Reference Documents: N1730 N2323

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 (and perhaps, operations) 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 matches an IEC 60559 format
 2 type matches an IEC 60559 format and operations
 (追記ここまで)

Add to §5.2.4.2.2 paragraph 18 (Example 2)

(追記) 
FLT_IS_IEC_60559 2
DBL_IS_IEC_60559 2
 (追記ここまで)

Existing practice

None known. But, it is easy to add these macros.

AltStyle によって変換されたページ (->オリジナル) /