https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85957
--- Comment #11 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Mon, 28 May 2018, vincent-gcc at vinc17 dot net wrote: > floating-point expression: Once a floating-point number has been converted > into > an integer type, the value of this integer must be fixed. Yes, I agree that any particular conversion to integer executed in the abstract machine must produce some definite integer value for each execution. (Conversions of *out-of-range* floating-point values to integer are a trickier case; under Annex F they produce unspecified values. I think semantics along the lines of N2221 are fine for unspecified values arising from reading an uninitialized object, but more questionable for values arising from a floating-point-to-integer conversion.)
