This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Joe Buck <jbuck at synopsys dot COM>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: dan at dberlin dot org, dewar at gnat dot com, gcc at gcc dot gnu dot org,kenner at vlsi1 dot ultra dot nyu dot edu
- Date: Fri, 25 Jan 2002 08:58:48 -0800 (PST)
- Subject: Re: g++ and aliasing bools
Robert writes:
> You are still hung up on the idea that the problem we are trying to
> solve is to determine whether two items are aliased. That's NOT the
> problem here. THe problem is to determine sets of items that are
> provably not aliased. These are quite different problems, and you are
> getting confused between them.
Sorry I didn't see this message before I wrote mine; Robert expresses it
exactly correctly. And all other problems gcc may encounter that involve
undecidability get treated in the same way (handle cases you can't analyze
conservatively).