This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Type-based aliasing
- To: mark at markmitchell dot com
- Subject: Re: Type-based aliasing
- From: Jeffrey A Law <law at cygnus dot com>
- Date: Thu, 11 Jun 1998 00:35:27 -0600
- cc: John Carr <jfc at mit dot edu>, egcs at cygnus dot com
- Reply-To: law at cygnus dot com
In message <199806110031.RAA10804@mail.earthlink.net>you write:
> I'm going to try to summarize the outcome of your attempt at
> mode-based alias analysis, i.e., alias analysis following the strict
> ANSI C rules for conforming programs. I'd like you, and others on the
> list, to tell me if I've understood the situation correctly.
Here's John's reply when I asked basically the same question:
> Maybe the type based alias code should be an option? It does technically
> do the right thing according to ANSI & ISO right?
No.
jeff