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: Steven Bosscher <stevenb at suse dot de>
- 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 15:39:38 +0200
- Subject: Re: DCE eliminating valid statement for ACATS c34007p
- References: <10509061337.AA05755@vlsi1.ultra.nyu.edu>
On Tuesday 06 September 2005 15:37, Richard Kenner wrote:
> What would be your proposal as to which nodes it's valid to have as
> operands of an ADDR_EXPR? We certainly never even thought of such a rule
> before.
Hmm, odd that such a rule wouldn't exist. To me it seems an ADDR_EXPR
only makes sense on something that is addressable, and a COMPOUND_EXPR
is not addressable, even if, as in your example, the language semantics
explain how the & is to be interpreted. IMHO for GENERIC we should
only allow ADDR_EXPRs to appear on addressable things (i.e. addressable
symbols).
Gr.
Steven