https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390
--- Comment #9 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > 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. 6.3.1.5 in C99 has a clear division between promotions (no change to value) and demotions + explicit conversions (remove excess precision). (DR#318 / TC3 dealt with the case where explicit conversion from float to double acts like a demotion because the float was represented in long double format.)
