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-Thread: 103376,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!72g2000hsu.googlegroups.com!not-for-mail
From: billjones6789@yahoo.com
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Fri, 22 Feb 2008 08:10:42 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <69019a65-736e-48ee-bd9f-4c29cd7fc88f@72g2000hsu.googlegroups.com>
References: <0_mdna0iHpIsCifaRVnzvQA@telenor.com>
 <47ba9867$0$21892$4f793bc4@news.tdc.fi>
	<dN2dndl3zoW5Oifa4p2dnAA@telenor.com>
 <dbe54d78-5bd2-4ad0-ab93-f00b099ae5a3@64g2000hsw.googlegroups.com>
	<spCdnTyCKpCfvSHaRVnzvQA@telenor.com>
 <3a281192-2744-4110-9fc1-90c155c9436b@d4g2000prg.googlegroups.com>
	<qm_uj.42460$yE1.36921@attbi_s21>
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
	<fpigq5$5me$1@jacob-sparre.dk> <gcejpf.ir2.ln@hunter.axlog.fr>
	<624tcvF21i3nvU1@mid.individual.net>
 <2630d99b-1578-4d79-ac9c-64c00c203b77@e60g2000hsh.googlegroups.com>
	<c8a646bf-47b0-43e6-ae46-d5f820126b07@n77g2000hse.googlegroups.com>
	<fpl057$q3q$1@jacob-sparre.dk>
NNTP-Posting-Host: 75.51.80.135
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1203696642 27925 127.0.0.1 (22 Feb 2008 16:10:42
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 22 Feb 2008 16:10:42 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 72g2000hsu.googlegroups.com; posting-host=75.51.80.135;
	posting-account=EwprVAoAAADupkeB7R-LUjsi4Ab2CUvf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.0.3705; .NET CLR 1.1.4322; Media Center PC 4.0),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:19975
Date: 2008-02-22T08:10:42-08:00
List-Id: <comp.lang.ada>

On Feb 21, 2:32=A0pm, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> We're talking about language-defined checks. There are no language-defined=

> checks for dangling pointers!

Huh?
In Ada83 there was no provision for pointers into the stack, because
of the well-known danger of leaving a dangling pointer when the
subprogram exited.  Ada95 considered it necessary to allow pointers
into the stack, in part because users were doing it anyway (using
unsafe techniques like 'address and Unchecked_Conversion) to avoid
the well-known dangers of using heap allocation.

To eliminate the danger of dangling pointers into the stack, Ada95
introduced the concept of Accessibility_Check, which, like
Overflow_Check, can be controlled using pragma Suppress/Unsuppress,
and possibly compiler switches.

Of course, the danger is only eliminated when this language-defined
check is fully implemented in standard mode.