https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34040
--- Comment #14 from Oleg Endo <olegendo at gcc dot gnu.org> --- (In reply to Oleg Endo from comment #13) > > I think it would be easier to leave DOUBLE_TYPE_SIZE == 64 in all cases and > use software fp if the hardware can't do double precision. If users insist > on doubles being automatically truncated to floats then there should be a > compiler switch for that. This switch is already there: -fshort-double