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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d17561d7e5eba62c X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: An alternative to Unchecked Conversion Date: 1999/12/19 Message-ID: <83hh5n$e82$1@nnrp1.deja.com>#1/1 X-Deja-AN: 562440966 References: <38596575_4@news1.prserv.net> <3859701a@rsl2.rslnet.net> <385AD199.D1428985@Boeing.com> X-Http-Proxy: 1.0 x23.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Sun Dec 19 02:50:32 1999 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-12-19T00:00:00+00:00 List-Id: In article <385AD199.D1428985@Boeing.com>, Rex Reges wrote: > > gnat r You should NEVER use this construction in Ada 83, since it is erroneous. Whoever tells you in Ada 83 to use this rather than unchecked conversion is simply not very knowledgable on the language and should not be payed much attention. In Ada 95, it is permissible, though implementation dependent to use address clauses. There is no requirement that an address clause be static, but there are restrictions on what expressions are allowed. A compiler is not required to accept the exact form above, though many, including GNAT will allow this form. In GNAT, a specific warning will be given if you do not use a pragma Import for the overlaying variable and it requires initialization. Generally the use of a pragma Import is always appropriate, since what does and does not require initialization is implementation dependent. Sent via Deja.com http://www.deja.com/ Before you buy.