This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Richard Biener <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org, Jan Hubicka <hubicka at ucw dot cz>
- Date: Tue, 08 Dec 2015 18:08:36 +0100
- Subject: Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing
- Authentication-results: sourceware.org; auth=none
- References: <20151202080716 dot GV5527 at kam dot mff dot cuni dot cz> <17259092 dot 9bGTEO9jER at polaris> <alpine dot LSU dot 2 dot 11 dot 1512081317530 dot 4884 at t29 dot fhfr dot qr>
> Usually cycles happen through structure members and it might be that
> all other frontends have the pointed-to type incomplete. But the
> above recursion shouldn't apply for the structure case.
All types are equal in Ada and can be forward declared; the language specifies
that their "elaboration" can be delayed until a "freeze" point (in particular,
you cannot declare an object of the type until after it), from which all the
incomplete references must be resolved to the final type.
> Not sure how your other examples look like.
Pure pointer cycles of any length.
--
Eric Botcazou