This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: alias analysis

From: Robert Dewar <dewar at gnat dot com>
To: Jim Wilson <wilson at specifixinc dot com>
Cc: Umar Janjua <Umar dot Janjua at cl dot cam dot ac dot uk>, gcc at gcc dot gnu dot org
Date: Sat, 20 Dec 2003 04:46:21 +0700
Subject: Re: alias analysis
References: <E1AX1ii-00022G-00@wisbech.cl.cam.ac.uk> <3FE369D6.3000409@specifixinc.com>

Umar Janjua wrote:

What kind of alias analysis is performed by GCC.


Note that in Ada (GNAT), we get much more accurate alias
information from the nature of the language, because of its
strong typing. For instance, two separate integer types in
Ada:

    type A is new Integer;
    type B is new Integer;

will be in separate alias sets. It's tricky to get the
mapping correct, but as far as we know it is correct
(and quite precise) in the latest version of checked
in sources for GNAT and gigi.

References:
- alias analysis
  - From: Umar Janjua
- Re: alias analysis
  - From: Jim Wilson

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]