comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada enumerations
Date: 1997/12/11
Date: 1997-12-11T00:00:00+00:00	[thread overview]
Message-ID: <dewar.881883499@merv> (raw)
In-Reply-To: 34901D71.FD118790@elca-matrix.ch


Mats Weber said

<<Isn't Unchecked_Conversion approximately like doing

   X : Enum;
   I : Integer;

   for I'Address use X'Address;
>>

OUCH! I sure hope not, that would be a horrible approach for scalars, since
it would force them into memory. It is hard to believe any compiler is that
stupid, but you never know.

In practice, all the compilers I have worked with do the sensible thing
when converting scalar types, i.e. zero or sign extend as appropriate,
and truncate at the most significant end if necessary. This is most
certainly what GNAT does.





  reply	other threads:[~1997-12-11  0:00 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-12-10  0:00 Ada enumerations Stanley R. Allen
1997-12-10  0:00 ` Robert Dewar
1997-12-11  0:00   ` Stanley R. Allen
1997-12-12  0:00     ` Robert Dewar
1997-12-11  0:00   ` Mats Weber
1997-12-11  0:00     ` Robert Dewar [this message]
1997-12-12  0:00       ` Mats Weber
1997-12-12  0:00         ` Robert Dewar
1997-12-12  0:00     ` Samuel T. Harris
1997-12-10  0:00 ` John M. Mills
  -- strict thread matches above, loose matches on Subject: below --
1997-12-03  0:00 Ada Enumerations Jeffrey Harris
1997-12-03  0:00 ` James S. Rogers
1997-12-03  0:00   ` Robert Dewar
1997-12-03  0:00     ` Stanley R. Allen
1997-12-04  0:00       ` Matthew Heaney
1997-12-04  0:00         ` Stanley R. Allen
1997-12-07  0:00           ` Keith Thompson
1997-12-07  0:00             ` Robert Dewar
1997-12-08  0:00               ` Keith Thompson
1997-12-07  0:00                 ` Matthew Heaney
1997-12-11  0:00                   ` John G. Volan
1997-12-07  0:00             ` Matthew Heaney
1997-12-04  0:00       ` Robert Dewar
1997-12-04  0:00         ` Stanley R. Allen
1997-12-18  0:00           ` Wes Groleau
1997-12-04  0:00 ` Stephen Leake
1997-12-04  0:00   ` Matthew Heaney
1997-12-04  0:00     ` Robert Dewar
1997-12-06  0:00       ` Jean-Pierre Rosen

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox