[Cfp-interest 3209] Re: Various Updates to Annex F+G

[Joshua Cranmer]

On 8/14/2024 22:21, Damian McGuckin wrote:
> I see why.  There is normative and informative.
>
> Annex F and Annex G and Annex H all says (normative). Is full IEEE 754
> compliance required by the C standard? 

Normative text is that which is capable of imposing requirements; 
informative text is that which is not capable of imposing requirements. 
Annex J is informative, which means that the lists of 
unspecified/implementation-defined/undefined behavior are not guaranteed 
to be comprehensive, and any inconsistencies between that annex and the 
main body of the standard need to be interpreted in favor of the 
standard (rather notably, there was a case in C99 where behavior was 
changed from undefined to well-defined, but it was still listed as 
undefined behavior in that annex).

The IEEE 754 compliance annexes (F-H) are all normative because they 
impose requirements. They are optional requirements (you are not 
required to conform to them), but if you claim to conform to them, they 
have certain requirements that need to be followed.