This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix lto-symtab ICE during Ada LTO bootstrap
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Jan Hubicka <hubicka at ucw dot cz>
- Date: Mon, 23 Nov 2015 12:14:57 +0100
- Subject: Re: Fix lto-symtab ICE during Ada LTO bootstrap
- Authentication-results: sourceware.org; auth=none
- References: <20151121182122 dot GB23225 at kam dot mff dot cuni dot cz> <20151123012037 dot GA46935 at kam dot mff dot cuni dot cz> <20151123095939 dot GA7449 at adacore dot com> <43889409 dot Q8BpRmYV9r at polaris>
> > So there is indeed no point in trying to fix one or two cases, and we should
> > instead instruct LTO somehow to treat System.Address is compatible with
> > void* otherwise we'll run into endless troubles on that since using
> > System.Address as void* is very common practice in Ada code.
>
> Maybe we could apply this special treatment only to the void_ptr subtype of
> Interfaces.C.Extensions and require its use when interfacing with C.
No, Interfaces.C.Extensions is non portable, so almost no Ada code out there
is using it. As I said, existing Ada code is using System.Address all the time,
so requiring any code change in this area is just a non starter. We'd
rather require that people don't use LTO with Ada rather than tell them to
use Interfaces.C.Extensions, that would be more constructive :-)
Arno