https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390
--- Comment #8 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- (In reply to jos...@codesourcery.com from comment #7) > It's the "If the value being converted is in the range of values that can > be represented but cannot be represented exactly" bit I'm concerned with, Note that 6.3.1.5 has the same thing for floating type to floating type.