This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Daniel Berlin <dan at dberlin dot org>
- Cc: Dan Nicolaescu <dann at godzilla dot ICS dot UCI dot EDU>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Thu, 24 Jan 2002 13:42:51 -0800
- Subject: Re: g++ and aliasing bools
- References: <Pine.LNX.4.44.0201241632300.26628-100000@dberlin.org>
> What do you consider "proof"?
The sort of thing that appears in a computer science textbook when
proving that an algorithm is sound. Or at least what is often called
a "sketch of a proof".
> What more than not causing any regressions are you looking for?
A proof that this is not an algorithmic mistake. This
is an aspect of GCC that we can reason about formally; the semantics
of alias sets are reasonably well defined, and the semantics of the
C++ abstract machine are reasonably well defined in this regard, so
it should be reasonably possible to convince ourselves that this
change is safe in the abstract if it is.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com