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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28cd155693714664
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-21 15:01:47 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uunet!sea.uu.net!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Faulty languages and Liability
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccelf05m1z.fsf@shell01.TheWorld.com>
Date: Fri, 21 Jun 2002 22:00:56 GMT
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <kvL0$8CK4ybO@eisner.encompasserve.org> <aeq407$lvr$1@nh.pace.co.uk>
 <3D11F304.9030906@mail.com> <3dk*NGnrp@news.chiark.greenend.org.uk>
NNTP-Posting-Host: shell01.theworld.com
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.google.com comp.lang.ada:26579
Date: 2002-06-21T22:00:56+00:00
List-Id: <comp.lang.ada>

Matthew Woodcraft <mattheww@chiark.greenend.org.uk> writes:

> >Other than that, what does Ada do in regards to pointer
> >dereferencing that is safer than C++?
> 
> Accessibility checks.
> 
> And pointers not explicitly initialised are null.

Yes.  Also, you can't make a pointer to a stack variable (or component,
etc) without explicitly declaring it "aliased".

Oh, yeah, you can't "cast away const" in Ada.  At least not with a
normal type_conversion.

- Bob