[Cfp-interest 2731] comparison macros and exceptions due to conversion to the semantic type

[Vincent Lefevre]

In N3088, 7.12.17 "Comparison macros" has note 302:

  Whether an argument represented in a format wider than its
  semantic type is converted to the semantic type is unspecified.

and 7.12.17.6 "The isunordered macro" says

  It raises no floating-point exceptions if neither argument is a
  signaling NaN.

Now, if a conversion to the semantic type with the isunordered macro
yields an underflow or an overflow, is this exception expected to be
signaled? This seems unclear.

Then, same question for the other comparison macros.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)