This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [ tree-ssa] PRE problem
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: Daniel Berlin <dberlin at dberlin dot org>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Fri, 20 Feb 2004 15:31:12 -0500
- Subject: Re: [ tree-ssa] PRE problem
- Organization: Red Hat Canada
- References: <200402202028.i1KKSKVQ003372@speedy.slc.redhat.com>
On Fri, 2004-02-20 at 15:28, law@redhat.com wrote:
> So just to be sure, we agree that we can have a copy between
> pointers, one of which has a tag and one of which does not?
>
Absolutely. And when we do propagate_value() from one to the other, the
pointer with no tag will inherit the type tag from the other pointer.
Diego.