comp.lang.ada
 help / color / mirror / Atom feed
From: Luke A. Guest <laguest@archeia.com>
Subject: Re: Accessibility check failure with Implicit_Dereference aspect
Date: Wed, 13 Aug 2014 18:38:34 +0000 (UTC)
Date: 2014-08-13T18:38:34+00:00	[thread overview]
Message-ID: <1265553776429647827.181612laguest-archeia.com@nntp.aioe.org> (raw)
In-Reply-To: 85egwku558.fsf@stephe-leake.org

Stephen Leake <stephen_leake@stephe-leake.org> wrote:

> accessibility checks have to do with not creating dangling pointers;
> they depend on exactly where the type is declared and where the access
> value is created and used. So we need to see the entire program to help.
> 
> In general, if the access type is at library level, there will be no
> accessibility issues.

Thanks but I got it sorted and deleted this post.

It was an anonymous access type in the controlled type and freeing based on
a defined access type.

Like

      reply	other threads:[~2014-08-13 18:38 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-08-12 17:03 Accessibility check failure with Implicit_Dereference aspect Lucretia
2014-08-13  9:10 ` Stephen Leake
2014-08-13 18:38   ` Luke A. Guest [this message]
replies disabled

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