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 10:21:38 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!kibo.news.demon.net!demon!easynet-monga!easynet.net!easynet-post1!not-for-mail
Organization: Linux Unlimited
From: Matthew Woodcraft <mattheww@chiark.greenend.org.uk>
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
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>
Originator: mattheww@chiark.greenend.org.uk ([212.135.138.206])
Date: 21 Jun 2002 18:21:35 +0100 (BST)
Message-ID: <3dk*NGnrp@news.chiark.greenend.org.uk>
NNTP-Posting-Host: 212.135..news.easynet.co.uk
X-Trace: DXC=KmaAMW=JfRaTgI_@Zk==lcWoi;jC1eK@mGL71[^QKc3laWei;0FT]hn
Xref: archiver1.google.com comp.lang.ada:26569
Date: 2002-06-21T18:21:35+01:00
List-Id: <comp.lang.ada>

In article <3D11F304.9030906@mail.com>, Hyman Rosen  <hyrosen@mail.com> wrote:
>Marin David Condic wrote:
> > Things like parameter passing to subroutines
>
>C++ has full checking for subroutine parameters.
>Do you have an example of what you think doesn't work?

'Slicing' of objects passed by value.


>> the referencing/dereferencing of things by address
>
>C++ does not guarantee that dereferencing a null pointer
>will be caught, although on many platforms this causes as
>access violation which terminates the program.
>
>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.

-M-