From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-45173-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 15790 invoked by alias); 25 Jan 2002 16:11:07 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 15734 invoked from network); 25 Jan 2002 16:11:03 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 25 Jan 2002 16:11:03 -0000
Received: by nile.gnat.com (Postfix, from userid 338)
	id 3F2CEF28D1; Fri, 25 Jan 2002 11:11:03 -0500 (EST)
To: dan@dberlin.org, dewar@gnat.com
Subject: Re: g++ and aliasing bools
Cc: gcc@gcc.gnu.org, kenner@vlsi1.ultra.nyu.edu
Message-Id: <20020125161103.3F2CEF28D1@nile.gnat.com>
Date: Fri, 25 Jan 2002 08:35:00 -0000
From: dewar@gnat.com (Robert Dewar)
X-SW-Source: 2002-01/txt/msg01637.txt.bz2

<<I've been told i need to come up with a formal proof that given certain
relationships between C++ types, that may-alias is always determinable
statically correctly, or that we always correctly determine that we can't
determine it (IE never claim wrong that things may not alias).
I've said before, and i'll say again, that i'm not going to do that.
>>

THat's fine, but the fact that you are not going to do it does not mean
that it is not desirable or not necessary!