comp.lang.ada
 help / color / mirror / Atom feed
From: Martin Krischik <martin@krischik.com>
Subject: Re: setting 'Size and unchecked conversion safe here?
Date: Fri, 11 Feb 2005 20:08:28 +0100
Date: 2005-02-11T20:08:28+01:00	[thread overview]
Message-ID: <2455416.cbiGJIoehT@linux1.krischik.com> (raw)
In-Reply-To: mailman.130.1108147882.527.comp.lang.ada@ada-france.org

Marius Amado Alves wrote:

> I need to store access-to-subprogram values in a 64-bit modular type. 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?

In which case you probably have a 32 bit GNAT installed. Otherwise GNAT
would use all 64 bit and won't say a word.

> (I know how I can write it differently, but if the above is safe I'd
> rather leave it as it is.)

I don't know. The upper 32 bit are undefined - maybe not that good.

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com




  reply	other threads:[~2005-02-11 19:08 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-02-11 18:52 setting 'Size and unchecked conversion safe here? Marius Amado Alves
2005-02-11 19:08 ` Martin Krischik [this message]
2005-02-11 20:34 ` tmoran
2005-02-11 22:37   ` Marius Amado Alves
2005-02-11 23:49     ` tmoran
2005-02-12 13:10       ` Marius Amado Alves
2005-02-12  6:55     ` Martin Krischik
2005-02-12 13:30       ` Marius Amado Alves
2005-02-12 14:57         ` Martin Krischik
2005-02-12 16:03           ` Marius Amado Alves
2005-02-12 16:04           ` Marius Amado Alves
2005-02-11 23:38 ` Robert A Duff
2005-02-12 12:46   ` Marius Amado Alves
2005-02-12 18:05     ` tmoran
2005-02-12 18:29       ` Marius Amado Alves
2005-02-12 19:14     ` Robert A Duff
2005-02-12 19:48       ` Marius Amado Alves
replies disabled

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