Если наличие субнормальных чисел необязательно (HAS_SUBNORM), то почему присутствие FP_SUBNORMAL обязательно?

Если наличие субнормальных чисел не является обязательным (HAS_SUBNORM макрос функций), то почему присутствие FP_SUBNORMAL макроса классификации обязательно?

Причина вопроса: в на этот (до сих пор без ответа) вопрос был сделан вывод / предположение, что:

В случае, если HAS_SUBNORM равен 0, выполнение любой операции FP с входными данными, представленными вручную построенными субнормальными числами (построенными с использованием каламбура с помощью объединения, использования memcpy, чтения из файла и т. Д.), Приводит к неопределенному поведению ( UB).

Этот вывод / гипотеза приводит к нескольким вопросам:

1. Означает ли это, что в случае HAS_SUBNORM is 0 невозможно использовать стандартную библиотеку C для даже обнаружения наличия субнормальных чисел, предоставленных, например, пользователем?

Пример:

float value = get_value();       // user input
#if FLT_HAS_SUBNORM == 0
int class = fpclassify( value ); // leads to UB if value is subnormal number
if ( class == FP_SUBNORMAL  )
{
    error( "subnormal numbers are not supported" );
}
#endif

2. Должно ли наличие FP_SUBNORMAL зависеть от дизъюнкции макросов HAS_SUBNORM, установленных на 1? То есть:

#if FLT_HAS_SUBNORM == 1 || DBL_HAS_SUBNORM == 1 || LDBL_HAS_SUBNORM == 1
// FP_SUBNORMAL is present
#else
// FP_SUBNORMAL is absent
#endif

3. Означает ли тот факт, что макрос классификации FP_SUBNORMAL является обязательным, что в случае HAS_SUBNORM is 0 выполнение макроса fpclassify с входными данными, представленными вручную построенными субнормальными числами, должно привести к четко определенному поведению?

UPD 20210527. По сравнению с режимами округления (C11, 7.6.8) (выделено мной):

Каждый из макросов FE_DOWNWARD ... определяется тогда и только тогда, когда реализация поддерживает получение и установку представленного направления округления с помощью функций fegetround и fesetround.