This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RTL alias analysis
- From: Steven Bosscher <steven dot bosscher at gmail dot com>
- To: gcc at gcc dot gnu dot org
- Cc: Mark Mitchell <mark at codesourcery dot com>, Richard Guenther <richard dot guenther at gmail dot com>, Richard Henderson <rth at redhat dot com>, Daniel Berlin <dberlin at dberlin dot org>, Jan Hubicka <jh at suse dot cz>
- Date: Fri, 20 Jan 2006 18:34:10 +0100
- Subject: Re: RTL alias analysis
- References: <200512292242.17272.stevenb@suse.de> <84fc9c000601200149o7b5446c8r7d3497094d7cf86d@mail.gmail.com> <43D11C2E.2020202@codesourcery.com>
On Friday 20 January 2006 18:21, Mark Mitchell wrote:
> Richard Guenther wrote:
> > A patch was also posted based on ideas in the audit trail. It's third
> > incarnation at
> > http://gcc.gnu.org/ml/gcc-patches/2006-01/msg00967.html
> > would need a review.
>
> This patch uses "type_i == type_j" which is usually a mistake; are we
> sure we don't need the usual type-equality predicate functions?
Ah, you noticed that. So you answered your own question:
> Also, why doesn't:
>
> union U { char c; int i; };
> struct S { union U u; };
> struct T { union U u; };
>
> present the same problem between S and T?
Because type_i != type_j.
Maybe it fails if we use the types_compatible_p langhook, someone
would have to try.
Gr.
Steven