[PATCH] See through ADDR_EXPR for forwprop

[Richard Guenther]

Jeffrey A Law wrote:
> On Thu, 2005-05-26 at 16:39 +0200, Richard Guenther wrote:
> 
>> 
>>
>>>I'm pretty sure you can't have an ADDR_EXPR on the LHS, so I suspect
>>>checking for it is just a tiny waste of time.  I'm going to rebootstrap
>>>and retest with the first hunk removed.
>>
>>Ok, I only had this for completeness.  I'll need to learn more of what
>>exactly is gimple and what not.
> 
> It's more a question of what makes sense vs what is gimple in this
> case :-)  You can't change the address of an object, which is in
> effect what you'd be trying to do if an ADDR_EXPR as on the LHS of
> an assignment.

Of course - I thought of sth like

 &(&D.555->foo)->bar->a = ...

and us replacing D.555 - but this would have been folded earlier I
guess.  This is also what I was not sure would be gimple or not.

> Anyway, I've bootstrapped and re-run the testsuite with just the
> change to "see through" ADDR_EXPRs in the RHS of the use statement.
> All is well and good.
> 
> I've attached the actual patch I installed.

Thanks,
Richard.