This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [ tree-ssa] PRE problem
- From: law at redhat dot com
- To: Daniel Berlin <dberlin at dberlin dot org>
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 20 Feb 2004 11:07:07 -0700
- Subject: Re: [ tree-ssa] PRE problem
- Reply-to: law at redhat dot com
In message <419DF372-63CD-11D8-ABAD-000A95DA505C@dberlin.org>, Daniel Berlin wr
ites:
>> Seems reasonable.
>>
>> The problem is we do this substitution (reverse copy propagation)
>> *without*
>> fixing up the annotation for method_signature.3. Specifically, if we
>> do this
>> kind of substitution we need to fix is_dereferenced_{load,store} and
>> type_mem_tag in method_signature.3's annotation.
>>
>
>This is not copy propagation code.
>It's verifying the safety of a rename.
>We don't actually use the generated expressions except to check their
>versions in the part you are quoting.
>So i'm not sure what problem this causes for you.
We get a segfault trying to build up operands because we have a
dereference of a pointer with no tag.
jeff