This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix verify_type ICE during Ada bootstrap
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: Richard Biener <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org
- Date: Tue, 24 Nov 2015 20:33:42 +0100
- Subject: Re: Fix verify_type ICE during Ada bootstrap
- Authentication-results: sourceware.org; auth=none
- References: <20151124082008 dot GA90197 at kam dot mff dot cuni dot cz> <alpine dot LSU dot 2 dot 11 dot 1511240944040 dot 4884 at t29 dot fhfr dot qr> <20151124185104 dot GD90197 at kam dot mff dot cuni dot cz>
> >
> > We do already wrap all bases into MEM_REFs at streaming time, it would
> > be easy to adjust it to make it effectively alias-set zero. But of
> > course the overhead and the downstream effects of having more MEM_REFs
> > (we strip the unneeded ones at stream-in) are unknown (compared to
> > the effect of disabling inlining).
>
> Hmm, I can test in on Firefox (once I get it back to working condition).
One way would be to keep current MEM_REFS stripping and conditoinal in
get_alias_set on strict aliasing, but extend inliner to introduce them at a
point -fno-strict-aliasing is inlined to -fstrict-aliasing. That way we could
drop the code in lto-streamer-out that forcingly set alias set to 0 when
get_alias_set == 0 and hopefully get all code transitions right.
Honza