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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.224.2.68 with SMTP id 4mr13916702qai.1.1380054737679;
        Tue, 24 Sep 2013 13:32:17 -0700 (PDT)
X-Received: by 10.182.231.227 with SMTP id tj3mr76213obc.40.1380054737644;
 Tue, 24 Sep 2013 13:32:17 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!d5no1786646qap.0!news-out.google.com!9ni111qaf.0!nntp.google.com!d5no1786639qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 24 Sep 2013 13:32:17 -0700 (PDT)
In-Reply-To: <l1sr4v$eo$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=66.126.103.122;
 posting-account=RxNzCgoAAACA5KmgtFQuaU-WaH7rjnAO
NNTP-Posting-Host: 66.126.103.122
References: <58149dd9-990d-415c-a121-bc7a1a69473c@googlegroups.com>
 <e2a5be26-0dcf-4ef1-8487-87873ab87062@googlegroups.com>
 <5f5b3a27-574d-462e-ae09-dcc6ed3fd861@googlegroups.com>
 <l1sr4v$eo$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <34fccd38-8125-44c0-9c56-4a30b6359616@googlegroups.com>
Subject: Re: Accessibility Levels and Library-Level Units
From: Adam Beneschan <adambeneschan@aol.com>
Injection-Date: Tue, 24 Sep 2013 20:32:17 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:17275
Date: 2013-09-24T13:32:17-07:00
List-Id: <comp.lang.ada>

On Tuesday, September 24, 2013 1:02:39 PM UTC-7, J-P. Rosen wrote:
> Le 24/09/2013 21:27, Adam Beneschan a =EF=BF=BDcrit :
>=20
> > Even if the compiler knew Accessibility_Level_Test were the main
> > subprogram, nothing would prevent some other subprogram from calling
> > it (recursively).
>=20
> Even without calling it recursively, exiting the main program is /not/
> the end of the execution of an Ada Program. Tasks declared in library
> packages continue to run, there are even programs where the main
> procedure is begin-null;-end, all the work being done in library tasks.
>=20
> And of course, such tasks could use the pointer after the main
> subprogram is exited.
>=20
> Library level finalizable objects can also execute code after the main
> procedure is exited.

Yes, I'd forgotten about all those cases.  Thanks for pointing it out.

                               -- Adam