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: Ada subtypes and base types

From: Diego Novillo <dnovillo at redhat dot com>
To: tromey at redhat dot com
Cc: law at redhat dot com, Andrew Pinski <pinskia at physics dot uc dot edu>, Roger Sayle <roger at eyesopen dot com>, Richard Guenther <richard dot guenther at gmail dot com>, Waldek Hebisch <hebisch at math dot uni dot wroc dot pl>, gcc at gcc dot gnu dot org
Date: Tue, 21 Mar 2006 12:23:15 -0500
Subject: Re: Ada subtypes and base types
References: <E1FIz5K-0002qE-00@hera.math.uni.wroc.pl> <1142625071.3571.143.camel@localhost.localdomain> <1142673859.24449.392.camel@pc.site> <1142909252.23430.16.camel@to-dhcp19.toronto.redhat.com> <m3k6ang1oi.fsf@localhost.localdomain>

On 03/21/06 12:14, Tom Tromey wrote:
>>>>>> "Jeff" == Jeffrey A Law <law@redhat.com> writes:
> 
> Jeff> Note that this is closely related to some of the bounds checking
> Jeff> elimination we want to support for Java one day IIRC.
> 
> My understanding from the PR (21855) is that this is stuck on
> aliasing, not VRP -- the VRP parts supposedly work.
> 
Correct.

References:
- Re: Ada subtypes and base types
  - From: Waldek Hebisch
- Re: Ada subtypes and base types
  - From: Jeffrey A Law
- Re: Ada subtypes and base types
  - From: Laurent GUERBY
- Re: Ada subtypes and base types
  - From: Jeffrey A Law
- Re: Ada subtypes and base types
  - From: Tom Tromey

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