From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f798c20ee494262a
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!newshub.sdsu.edu!logbridge.uoregon.edu!xmission!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: setting 'Size and unchecked conversion safe here?
Date: 11 Feb 2005 18:38:09 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc3bw21xcu.fsf@shell01.TheWorld.com>
References: <mailman.130.1108147882.527.comp.lang.ada@ada-france.org>
NNTP-Posting-Host: shell01-e.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1108165089 27591 69.38.147.31 (11 Feb 2005 23:38:09
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Fri, 11 Feb 2005 23:38:09 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: g2news1.google.com comp.lang.ada:8261
Date: 2005-02-11T18:38:09-05:00
List-Id: <comp.lang.ada>

Marius Amado Alves <amado.alves@netcabo.pt> writes:

> I need to store access-to-subprogram values in a 64-bit modular type.

Why do you want to do that?

>... I
> write
> 
>     for My_Access_To_Subprogram_Type'Size use 64;
> 
> and GNAT warns me about 32 bits being unused. But Unchecked_Conversion
> between the access and the modular works fine. Now, is it working fine
> by chance or by language definition?

The language certainly does not define this to work.  It might work on
some (all?) implementations.

What do you mean by "works fine"?  Values convert from one to the other
and back, and you get what you started with?

- Bob