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: Robert Dewar <dewar at adacore dot com>
To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
Cc: law at redhat dot com, gcc at gcc dot gnu dot org
Date: Tue, 21 Feb 2006 18:11:10 -0500
Subject: Re: Ada subtypes and base types
References: <10602212222.AA13983@vlsi1.ultra.nyu.edu>

Richard Kenner wrote:

Let me try again and take a simpler example. If we have

subtype T is Integer range 20..50;

Y: T;

... Y + 1 ...
What the tree looks like is a PLUS_EXPR of type "Integer" (the base type of
T), not T, whose first operand is a NOP_EXPR converting Y to Integer and
whose second operand is the constant 1 also of type Integer, not T.

Note that this *exactly* reflects the formal Ada semantics ...

Follow-Ups:
- Re: Ada subtypes and base types
  - From: Jeffrey A Law

References:
- Re: Ada subtypes and base types
  - From: Richard Kenner

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