c - 如果 FLT_HAS_SUBNORM 为 -1，那么 1.0f / FLT_MAX 是否会产生次正规数或导致未定义行为（UB）？

Question

问题：如果FLT_HAS_SUBNORM是-1，那么会1.0f / FLT_MAX产生次正规数吗？

ISO/IEC 9899:2011 (E)：

-1 不确定²⁵

25.   如果浮点运算不能始终将次正规表示解释为零或非零，则打算将其表征为不确定。

在上面的问题中：

1. 根据H.2.3.2（浮点运算）除法（divF）是浮点运算。
2. 值1.0f和FLT_MAX是正常数字。

注意：如果省略了行为的明确定义，那么根据 C 标准（ISO/IEC 9899:2011 (E)）（强调添加）：

未定义的行为在本国际标准中以“未定义的行为”一词或省略任何明确的行为定义来表示。