GMP test fails with -flto
Vincent Lefevre
vincent at vinc17.net
Mon Jul 1 14:17:43 UTC 2019
On 2019-07-01 13:44:04 +0200, Marc Glisse wrote:
> On Mon, 1 Jul 2019, Martin Liška wrote:
>
> > On 6/24/19 8:57 PM, Marc Glisse wrote:
> > > On Mon, 24 Jun 2019, Martin Liška wrote:
> > >
> > > > Using -flto one can see a test failure:
> > >
> > > This is well known, see the archives for details. It is a combination of 2 issues:
> > > - (thin) LTO prevents configure from guessing the floating point format
> > > - a bug in the generic GMP code (fixed in master IIRC)
> > >
> >
> > Hi.
> >
> > I've got a patch for the wrong configure of floating point format.
>
> That's going to break every non-gcc compiler, isn't it?
I suggest another solution:
First try like now. If the format is unknown, check whether the
object file contains the string ".gnu.lto" (which should mean
that GCC was used with LTO), and in this case, try again with
"-fno-lto" as the patch was doing.
--
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
More information about the gmp-bugs
mailing list