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,FREEMAIL_FROM
	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-20 08:21:00 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!spool0900.news.uu.net!reader0900.news.uu.net!not-for-mail
Message-ID: <3D11F304.9030906@mail.com>
Date: Thu, 20 Jun 2002 11:21:40 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US; rv:1.0.0) Gecko/20020530
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <3D0DE5E2.5010904@mail.com> <27085883.0206171100.7f6f0c5e@posting.google.com>
 <3D0E461A.8050207@mail.com> <aem18n$1ih2$1@msunews.cl.msu.edu>
 <3D0EBC9F.9040104@mail.com> <aendq2$2onk$1@msunews.cl.msu.edu>
 <aenfam$oc3$1@nh.pace.co.uk> <kvL0$8CK4ybO@eisner.encompasserve.org>
 <aeq407$lvr$1@nh.pace.co.uk>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Cache-Post-Path: master.nyc.kbcfp.com!unknown@mosquito.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1024586459 reader0.ash.ops.us.uu.net 19112 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:26492
Date: 2002-06-20T11:21:40-04:00
List-Id: <comp.lang.ada>

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?

> 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++?