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 08:41:24 EST
- Subject: Re: g++ and aliasing bools
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.