This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: dewar at gnat dot com (Robert Dewar)
- To: dan at dberlin dot org, kenner at vlsi1 dot ultra dot nyu dot edu
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 2002 10:05:37 -0500 (EST)
- Subject: Re: g++ and aliasing bools
I agree with Richard, there are no undecidability problems here, we are
talking about static proofs that two objects cannot be aliased. Either
we can prove that, or we assume that they are aliased. The issue of whether
they are *really* aliased at run time is interesting, but irrelevant.