This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: DCE eliminating valid statement for ACATS c34007p
- From: Richard Henderson <rth at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 6 Sep 2005 12:43:11 -0700
- Subject: Re: DCE eliminating valid statement for ACATS c34007p
- References: <10509061937.AA08335@vlsi1.ultra.nyu.edu>
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~