Floating-point: FLT_HAS_SUBNORM is 0 => subnormal value arises => unspecified behavior?

Question

If FLT_HAS_SUBNORM is 0 and if during execution of the FP operation (add, mul, div, etc.) a subnormal value arises (or if a subnormal value is given as input to