This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Do not compute alias sets for types that don't need them
- From: Richard Biener <rguenther at suse dot de>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Wed, 27 May 2015 10:39:37 +0200 (CEST)
- Subject: Re: Do not compute alias sets for types that don't need them
- Authentication-results: sourceware.org; auth=none
- References: <20150522121552 dot GC91616 at kam dot mff dot cuni dot cz> <alpine dot LSU dot 2 dot 11 dot 1505221513350 dot 30088 at zhemvz dot fhfr dot qr> <20150522133356 dot GD75713 at kam dot mff dot cuni dot cz> <alpine dot LSU dot 2 dot 11 dot 1505260948300 dot 30088 at zhemvz dot fhfr dot qr> <20150527052213 dot GA88897 at kam dot mff dot cuni dot cz>
On Wed, 27 May 2015, Jan Hubicka wrote:
> > >
> > > I am not sure if TYPE_MAIN_VARIANT is really needed here. What I know is that
> > > complete types may have incomplete variants.
> >
> > How can that be? TYPE_FIELDS is shared across variants and all variants
> > should be layed out.
>
> Because TYPE_FILEDS are not always shared across variants. For example
> gfc_nonrestricted_type builds variants of types that have their own
> TYPE_FIELDS lists whose types are variants of the original TYPE_FIELDs.
> C++ FE used to do the same for member pointers, but I noticed that last
> stage1 with early version of type verifier and as far as I can remember
> Jason changed that.
The fortran one needs to be "fixed" to use the new MEM_REF restrict
support.
Richard.
--
Richard Biener <rguenther@suse.de>
SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Dilip Upmanyu, Graham Norton, HRB 21284 (AG Nuernberg)