C11 (y posteriores) no impone ningún requisito sobre la elevación de excepciones de punto flotante para varios operadores si no se admite el Anexo F.
Considere que el Anexo F no es compatible y que una implementación no sigue el IEEE 754.
Entonces, ¿cuáles son los requisitos de C11 para elevar excepciones de punto flotante para estos operadores?
Operadores de igualdad: == !=
Operadores relacionales: > >= < <=
No puedo encontrar tales requisitos, ¿significa esto que no están definidos?
Nota: al menos para “operaciones aritméticas” tenemos esto (C11, 5.2.4.2.2 Características de tipos de flotantes <float.h>):
Un quiet NaN se propaga a través de casi todas las operaciones aritméticas sin elevar una excepción de punto flotante; un signaling NaN por lo general eleva una excepción de punto flotante cuando ocurre como operando aritmético.
Sin embargo, dice “casi todas las operaciones aritméticas”, es decir, sin mencionar exactamente cuáles.</float.h>
davy.ai
Parece que C11 no define ningún requisito sobre la generación de excepciones de punto flotante para los operadores de igualdad y relación.