This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to allow Ada to work with tree-ssa
- From: Richard Henderson <rth at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: dnovillo at redhat dot com, gcc-patches at gcc dot gnu dot org
- Date: Thu, 29 Jul 2004 01:16:19 -0700
- Subject: Re: Patch to allow Ada to work with tree-ssa
- References: <10407290335.AA06668@vlsi1.ultra.nyu.edu>
On Wed, Jul 28, 2004 at 11:35:24PM -0400, Richard Kenner wrote:
> Given a volatile variable 'x', '&x' is not marked TREE_CONSTANT,
>
> Why? That seems wrong. The address of a volatile variable is still
> constant.
TREE_CONSTANT != TREE_INVARIANT.
Addresses of global variables fall into the former category,
addresses of stack variables fall into the later category.
> I think the bug is that &x should be constant irrespective of the volatility
> of X.
We did. You screwed up the test.
r~