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: law at redhat dot com
Cc: Richard Guenther <richard dot guenther at gmail dot com>, Laurent GUERBY <laurent at guerby dot net>, Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, ebotcazou at adacore dot com, gcc at gcc dot gnu dot org
Date: Tue, 21 Feb 2006 14:17:12 -0500
Subject: Re: Ada subtypes and base types
References: <10602191923.AA28521@vlsi1.ultra.nyu.edu> <1140378208.10617.9.camel@pc.site> <1140467791.2580.6.camel@localhost.localdomain> <84fc9c000602201300l6ae8188ie217c86fb709afc2@mail.gmail.com> <1140543584.2580.59.camel@localhost.localdomain>

Indeed. Ada should in this case generate

R = (T)( (basetype)100 + (basetype)X - (basetype)X )

It does!

i.e. carry out all arithmetic explicitly in the basetype and only for stores
and loads use the subtype.
I'd tend to agree, furthermore, if a pass starts wiping out those type conversions, then we've got a bug.


Right, the type conversions must not be wiped out, that's a
real issue!

References:
- Re: Bootstrap failure on trunk: x86_64-linux-gnu
  - From: Richard Kenner
- Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
  - From: Laurent GUERBY
- Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
  - From: Jeffrey A Law
- Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
  - From: Richard Guenther
- Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
  - From: Jeffrey A Law

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