On Thu, Sep 21, 2017 at 09:10:42AM +0200, Janus Weil wrote: > Attached is an updated patch, where I'm adding -fdefault-real-10 > according to Steve's suggestion. As with -fdefault-real-8 and > -fdefault-real-16, I'm choosing to set the double kind to 16 in this > case. Also I'm renaming flag_default_real to flag_default_real_8 (for > symmetry reasons and to make the code more readable). Finally I'm > removing the restriction that -fdefault-double-8 must occur together > with -fdefault-real-8. It may be useful on its own and should be > combinable with the new flags. > > Ok for trunk? >
Although I would prefer these options to be deprecated, I did read the patch and it appears to be correct. So, I suppose it's ok for trunk. -- Steve 20170425 https://www.youtube.com/watch?v=VWUpyCsUKR4 20161221 https://www.youtube.com/watch?v=IbCHE-hONow