This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Daniel Berlin <dan at dberlin dot org>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 2002 09:04:17 -0500
- Subject: Re: g++ and aliasing bools
On Friday, January 25, 2002, at 08:41 AM, Richard Kenner wrote:
> Aliasing is very hard to reason about formally, because no matter
> what you
> do, you start running into the undecidability issue.
>
> Sure, but we're talking about alias *sets*, which is a different issue.
Errr, not really.
They just happen to be our representation of aliases for types.
--Dan