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,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-05 14:39:00 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news-out.visi.com!petbe.visi.com!news2.telebyte.nl!news.completel.fr!ircam.fr!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: Stephen Leake <Stephe.Leake@nasa.gov>
Newsgroups: comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: 05 Jan 2004 17:36:33 -0500
Organization: Cuivre, Argent, Or
Message-ID: <mailman.212.1073342204.31149.comp.lang.ada@ada-france.org>
References: <3fe00b82.90228601@News.CIS.DFN.DE>
	<5802069.JsgInS3tXa@linux1.krischik.com>
	<1072464162.325936@master.nyc.kbcfp.com>
	<1563361.SfB03k3vvC@linux1.krischik.com>
	<11LvOkBBXw7$EAJw@phaedsys.demon.co.uk>
	<3ff0687f.528387944@News.CIS.DFN.DE>
	<1086072.fFeiH4ICbz@linux1.krischik.com>
	<3ff18d4d.603356952@News.CIS.DFN.DE>
	<1731094.1f7Irsyk1h@linux1.krischik.com>
	<3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com>
	<3ff20cc8.635997032@News.CIS.DFN.DE>
	<bsumbs$k9e$2@a1-hrz.uni-duisburg.de>
	<3ff9df16.30249104@News.CIS.DFN.DE>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: melchior.cuivre.fr.eu.org 1073342205 21687 80.67.180.195 (5 Jan 2004
 22:36:45 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Mon, 5 Jan 2004 22:36:45 +0000 (UTC)
To: comp.lang.ada@ada-france.org
Return-Path: <Stephe.Leake@nasa.gov>
In-Reply-To: <3ff9df16.30249104@News.CIS.DFN.DE>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.3
Precedence: list
List-Id: Gateway to the comp.lang.ada Usenet newsgroup
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:4131
Date: 2004-01-05T17:36:33-05:00

iddw@hotmail.com (Dave Hansen) writes:

> On Wed, 31 Dec 2003 14:27:08 +0000 (UTC), Georg Bauhaus
> <sb463ba@l1-hrz.uni-duisburg.de> wrote:
> 
> Is the "'access" tag (or whatever you call it) _required_ on the call
> if a function is going to modify the parameter?  

Yes. Ada allows "in out" for procedure parameters, but not for
function parameters.

> I like it even better if that's true.

I don't. Why introduce pointers when "in out" would do the job!

Apparently there were some people on the design team for Ada 83 who
thought "function" meant "no side effects", and want to "enforce"
that. Of course, functions can have side effects; now they just have
to lie about it!

But it's not going to change :).

-- 
-- Stephe