https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110477
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #4) > double f = 2.1; > assert( f == 2.1 ); // fails Which is effectively the same as your example from PR 110476.