FP: invalid operation: contradiction between C (UB) and IEEE 754 (WDB)?

Question

N2479 C17..C2x working draft — February 5, 2020 ISO/IEC 9899:202x (E):

6.3.1.4 Real floating and integer:

1 When a finite value of standard floati