comp.lang.ada
 help / color / mirror / Atom feed
From: Adam Beneschan <adambeneschan@aol.com>
Subject: Re: Accessibility Levels and Library-Level Units
Date: Tue, 24 Sep 2013 12:23:30 -0700 (PDT)
Date: 2013-09-24T12:23:30-07:00	[thread overview]
Message-ID: <1189d095-57c5-4560-bc7b-9f48668d5ad8@googlegroups.com> (raw)
In-Reply-To: <97df4d04-3830-44f7-96da-118a71035392@googlegroups.com>

On Tuesday, September 24, 2013 11:54:11 AM UTC-7, Eryndlia Mavourneen wrote:
> Actually, I realize that the nested procedure whose 'Access is taken is not at library level, but it still is frustrating that this obviously(?) safe code is not acceptable to the compiler.
> 
> 
> 
> -- Eryndlia (KK1T)

It's not safe.  You don't give the declaration of "Sub", but if it's something like

    procedure Sub (Proc : Proc_Type);

then for all the compiler knows, Sub could assign some global variable of type Proc_Type to Proc (Glob_Proc := Proc;).  Then an access to Test would exist after Accessibility_Level_Test exited, which is no good (it could be a disaster if the global variable was later used for a procedure call).

                          -- Adam



  reply	other threads:[~2013-09-24 19:23 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-09-24 18:36 Accessibility Levels and Library-Level Units Eryndlia Mavourneen
2013-09-24 18:54 ` Eryndlia Mavourneen
2013-09-24 19:23   ` Adam Beneschan [this message]
2013-09-24 19:06 ` mockturtle
2013-09-25  7:46   ` Dmitry A. Kazakov
2013-09-24 19:13 ` mockturtle
2013-09-24 19:23   ` Eryndlia Mavourneen
2013-09-24 19:27   ` Adam Beneschan
2013-09-24 20:02     ` J-P. Rosen
2013-09-24 20:17       ` Eryndlia Mavourneen
2013-09-24 20:32       ` Adam Beneschan
2013-09-24 19:31 ` Jeffrey Carter
2013-09-24 19:43   ` Eryndlia Mavourneen
2013-09-24 19:59     ` Adam Beneschan
2013-09-24 20:50     ` Robert A Duff
2013-09-25 14:40       ` Eryndlia Mavourneen
2013-09-25 21:34         ` Robert A Duff
2013-09-26 12:46           ` Eryndlia Mavourneen
2013-09-29 21:36             ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox