From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9769 invoked by alias); 29 Jul 2004 08:16:22 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 9760 invoked from network); 29 Jul 2004 08:16:21 -0000 Received: from unknown (HELO mx2.redhat.com) (66.187.237.31) by sourceware.org with SMTP; 29 Jul 2004 08:16:21 -0000 Received: from int-mx2.corp.redhat.com (int-mx2.corp.redhat.com [172.16.27.26]) by mx2.redhat.com (8.12.10/8.12.10) with ESMTP id i6T8BtSt010666; Thu, 29 Jul 2004 04:11:55 -0400 Received: from potter.sfbay.redhat.com (potter.sfbay.redhat.com [172.16.27.15]) by int-mx2.corp.redhat.com (8.11.6/8.11.6) with ESMTP id i6T8GJH13660; Thu, 29 Jul 2004 04:16:20 -0400 Received: from frothingslosh.sfbay.redhat.com (frothingslosh.sfbay.redhat.com [172.16.24.27]) by potter.sfbay.redhat.com (8.11.6/8.11.6) with ESMTP id i6T8GJL08578; Thu, 29 Jul 2004 01:16:19 -0700 Received: from frothingslosh.sfbay.redhat.com (localhost.localdomain [127.0.0.1]) by frothingslosh.sfbay.redhat.com (8.12.10/8.12.10) with ESMTP id i6T8GJOo010750; Thu, 29 Jul 2004 01:16:19 -0700 Received: (from rth@localhost) by frothingslosh.sfbay.redhat.com (8.12.10/8.12.10/Submit) id i6T8GJJ9010748; Thu, 29 Jul 2004 01:16:19 -0700 X-Authentication-Warning: frothingslosh.sfbay.redhat.com: rth set sender to rth@redhat.com using -f Date: Thu, 29 Jul 2004 17:57:00 -0000 From: Richard Henderson To: Richard Kenner Cc: dnovillo@redhat.com, gcc-patches@gcc.gnu.org Subject: Re: Patch to allow Ada to work with tree-ssa Message-ID: <20040729081619.GA10727@redhat.com> Mail-Followup-To: Richard Henderson , Richard Kenner , dnovillo@redhat.com, gcc-patches@gcc.gnu.org References: <10407290335.AA06668@vlsi1.ultra.nyu.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <10407290335.AA06668@vlsi1.ultra.nyu.edu> User-Agent: Mutt/1.4.1i X-SW-Source: 2004-07/txt/msg02612.txt.bz2 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~