This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Gabriel Dos Reis <gdr at codesourcery dot com>
- To: Daniel Berlin <dan at dberlin dot org>
- Cc: Robert Dewar <dewar at gnat dot com>, kenner at vlsi1 dot ultra dot nyu dot edu, <gcc at gcc dot gnu dot org>
- Date: 25 Jan 2002 22:06:47 +0100
- Subject: Re: g++ and aliasing bools
- Organization: CodeSourcery, LLC
- References: <Pine.LNX.4.44.0201251030510.31319-100000@dberlin.org>
Daniel Berlin <dan@dberlin.org> writes:
| On Fri, 25 Jan 2002, Robert Dewar wrote:
|
| > I agree with Richard, there are no undecidability problems here, we are
| > talking about static proofs that two objects cannot be aliased.
|
| You would be incorrect.
| Type based aliasing says "we have some sets of types that we know
| alias each other,
A more accurate statement is "we have sets of types that we know *may*
alias each other..."
-- Gaby