title: Floating-point: FLT_HAS_SUBNORM is 0 => subnormal value arises => unspecified behavior?
body: <p>If <code>FLT_HAS_SUBNORM is 0</code> 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 these FP operations), then the FP engine's implementation (i.e. HW implementation [FPU], SW implementation [SW FP library], mixed HW-SW implementation [SW FP library using HW instructions followed by additional SW post-processing]) can:</p>
  <ul>
  <li>detect such subnormal values and set them to zeros (i.e. <code>flash-to-zero</code> policy / logic);</li>
  <li>do nothing [special] (leading to unpredictable output result values).</li>
  </ul>
  <p>Question: can someone provide a correct argumentation (better if strengthened by references to <code>C</code> / <code>IEEE 754</code> standards) convincing that the behavior of this case does fall into <code>unspecified behavior</code> category?</p>
  <p>Note: ISO/IEC 9899:202x (E) working draft — February 5, 2020 N2479:</p>
  <blockquote>
  <p>3.4.4
  unspecified behavior</p>
  <p>behavior, that results from the use of an unspecified value, or other behavior upon which this document provides two or more possibilities and imposes no further requirements on which is chosen in any instance</p>
  </blockquote>