This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dan at dberlin dot org
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 02 09:31:58 EST
- Subject: Re: g++ and aliasing bools
Errr, not really.
They just happen to be our representation of aliases for types.
In some sense, but they avoid undecidability problems because you just
need to look at language semantics, not run-time behavior of a
particular program.
The issue with alias sets is whether you can prove from the language
specification that two objects *cannot* alias each other. If and only
if you can, they are in different alias sets.