DCE eliminating valid statement for ACATS c34007p

[Richard Henderson]

On Tue, Sep 06, 2005 at 03:37:26PM -0400, Richard Kenner wrote:
> I'm wondering why verify_ssa doesn't detect this.

It does.  See for instance pr 15740, which had generated an ICE.

That we don't constantly see problems is indicitive that the 
front-ends are good about using mark_addressable when needed,
and so the TREE_ADDRESSABLE bit is reliable incoming to the
gimplifier.


r~