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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI autolearn=unavailable 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!news1.google.com!proxad.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Marius Amado Alves Newsgroups: comp.lang.ada Subject: Re: setting 'Size and unchecked conversion safe here? Date: Sat, 12 Feb 2005 13:30:27 +0000 Organization: Cuivre, Argent, Or Message-ID: References: <4692490.U9hXl7fFM7@linux1.krischik.com> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 (Apple Message framework v619) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1108214885 96148 212.85.156.195 (12 Feb 2005 13:28:05 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Sat, 12 Feb 2005 13:28:05 +0000 (UTC) Cc: comp.lang.ada@ada-france.org To: martin@krischik.com Return-Path: In-Reply-To: <4692490.U9hXl7fFM7@linux1.krischik.com> X-Mailer: Apple Mail (2.619) X-OriginalArrivalTime: 12 Feb 2005 13:27:47.0299 (UTC) FILETIME=[A43EEB30:01C51106] X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:8277 Date: 2005-02-12T13:30:27+00:00 On 12 Feb 2005, at 06:55, Martin Krischik wrote: > Marius Amado Alves wrote: > >>> ARM 13.9(5 .. 11) says >>> "If all of the following are true, >>> ... >>> S'Size = Target'Size >> >> I know. This happens, because I forced the access type to be 64-bit, >> same as the modular. What I'm not sure about is whether the unused 32 >> bits are harmless or not (by definition). Thanks. > > There are not harmless since there is no requironment to set them to > 16#0000000#. If there were such a requirement is there a simple way to specify it? > In order to help you we have to know why it is that the access is 32 > bit and > the modular 64. I can only guess it is for some compatiblity reason - > but > what do you need to keep compatible? The access type is 32 bits because the compiler says so. The modular 64 is my choice to represent small values (integers, floats, tiny strings, access values) in the vertices of a Mneson graph: type Vertex is record Tip : Natural_16; Cue : Modular_64; end record; for Vertex'Size use 80; pragma Pack (Vertex); I know this might be incompatible with some unusual architectures but I'm prepared to deal with that when and if the time comes.