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: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: rth at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 6 Sep 05 16:14:34 EDT
- Subject: Re: DCE eliminating valid statement for ACATS c34007p
> I'm wondering why verify_ssa doesn't detect this.
It does. See for instance pr 15740, which had generated an ICE.
But what I don't understand is why it didn't ICE in my case.
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.
Right, but there are a few cases where the gimplifier calls it itself
and I suspect you're right that each are suspect.