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,5d4ade2fd8fd67c6
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Legit Warnings or not
Date: Fri, 22 Jul 2011 19:42:00 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <j0d5cs$quf$1@munin.nbi.dk>
References: 
 <531193e0-3305-4292-9ed8-0176226c1d00@x12g2000yql.googlegroups.com><j086nn$aau$1@tornado.tornevall.net>
 <j08sp2$8qi$2@dont-email.me><j09rks$c5u$1@tornado.tornevall.net>
 <j0a5qa$lqg$2@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1311381724 27599 69.95.181.76 (23 Jul 2011 00:42:04 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 23 Jul 2011 00:42:04 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6109
Xref: g2news2.google.com comp.lang.ada:21280
Date: 2011-07-22T19:42:00-05:00
List-Id: <comp.lang.ada>

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:j0a5qa$lqg$2@dont-email.me...
> ..(b: would work) the record must contain an ACCESS to
> it (in which case the implementation silently does something other than
> the declaration says).

Adam answered this adequately. But I take it you have never passed a 
by-reference type as a parameter? Or are you surprised that that an access 
to that parameter is what is really passed, even though the declaration says 
something else??

My point being that hidden pointers are extremely common in the 
implementation of modern programming languages, and certainly are common in 
Ada implementations. The only language I know of that insists on making such 
things explicit is C, and I think even it has some cases where the pointers 
are implicit (struct parameters).

                                    Randy.