https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34040
--- Comment #15 from Oleg Endo <olegendo at gcc dot gnu.org> --- (In reply to Oleg Endo from comment #14) > > This switch is already there: -fshort-double ... and it seems it's been causing trouble and is going to be removed. https://gcc.gnu.org/ml/gcc-patches/2014-09/msg02464.html
