g++ and aliasing bools

[Gabriel Dos Reis]

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