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,d0475d4d02ffd8d9 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!attbi_s22.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Thunderbird 1.5.0.7 (Windows/20060909) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: To collection (GNAT bug) References: <1fo8mdcya4lc1.1xzuim6fz5a6a.dlg@40tude.net> <13weuafrdg7cx$.zkechwsuxyfw.dlg@40tude.net> In-Reply-To: <13weuafrdg7cx$.zkechwsuxyfw.dlg@40tude.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 12.201.97.213 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s22 1159818353 12.201.97.213 (Mon, 02 Oct 2006 19:45:53 GMT) NNTP-Posting-Date: Mon, 02 Oct 2006 19:45:53 GMT Date: Mon, 02 Oct 2006 19:45:53 GMT Xref: g2news2.google.com comp.lang.ada:6842 Date: 2006-10-02T19:45:53+00:00 List-Id: Dmitry A. Kazakov wrote: > > OK, it can be classified as implementation-defined, because the compiler > designer can always claim that Address representation is not the pointer's > one. Who could rebut him? Since you say elsewhere that it gave you a warning about the sizes being different, it would appear that this is in fact the case. > However, I don't think that it was really the intended behavior in this > case. [ If access String is a fat pointer, then Unchecked_Conversion should > not be allowed at all. Otherwise it must honor the String's dope. ] This is unchecked programming, where the programmer is telling the compiler, "I know what I'm doing, even if it looks like I don't." And, of course, even when he doesn't. Perhaps you know that the 1st 4 bytes of the access value are an address. So the compiler can warn you, but it shouldn't prevent you. -- Jeff Carter "It's all right, Taggart. Just a man and a horse being hung out there." Blazing Saddles 34