This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix internal error in LTO mode on Ada code
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 6 Oct 2014 13:36:26 +0200
- Subject: Re: [patch] Fix internal error in LTO mode on Ada code
- Authentication-results: sourceware.org; auth=none
- References: <6605461 dot uriY1yrZKR at polaris>
On Mon, Oct 6, 2014 at 12:10 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
> Hi,
>
> LTO quickly breaks on Ada code involving floating-point comparisons because
> the Ada compiler defaults to -fnon-call-exceptions -fno-trapping-math (on most
> platforms) and only -fnon-call-exceptions is restored on the LTO side, so you
> can end up with the wrong number of edges on FP comparisons during LTRANS.
>
> Tested on x86_64-suse-linux, OK for the mainline?
Ok.
Thanks,
Richard.
>
> 2014-10-06 Eric Botcazou <ebotcazou@adacore.com>
>
> * lto-opts.c (lto_write_options): Handle -fmath-errno, -fsigned-zeros
> and -ftrapping-math.
> * lto-wrapper.c (merge_and_complain): Likewise.
> (run_gcc): Likewise.
>
>
> 2014-10-06 Eric Botcazou <ebotcazou@adacore.com>
>
> * gnat.dg/lto16.adb: New test.
> * gnat.dg/lto16_pkg.adb: New helper.
>
>
> --
> Eric Botcazou