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 11:04:47 EST
- Subject: Re: g++ and aliasing bools
They don't avoid undecidability, or else we wouldn't have alias set 0.
If we could determine what everything aliases, we wouldn't need a set
that aliases everything.
I didn't say they *avoid* undecidability, just avoid the undecidability
*problem* by separating static language semantics from all other aspects
of alising.