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 autolearn=unavailable autolearn_force=no version=3.4.4 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!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: Accessibility check failure with Implicit_Dereference aspect References: <3854a5ec-f49a-4c81-916b-e8cf750dc2ad@googlegroups.com> Date: Wed, 13 Aug 2014 04:10:11 -0500 Message-ID: <85egwku558.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt) Cancel-Lock: sha1:Bn/VFn+5jo/GPfBM/niNr4mMVIg= MIME-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: 2597653eb2b7be3fb833032751 X-Received-Bytes: 1413 X-Received-Body-CRC: 1728813819 Xref: news.eternal-september.org comp.lang.ada:21714 Date: 2014-08-13T04:10:11-05:00 List-Id: Lucretia writes: > generic > type T is new Quicksilver.Containers.Counted_Items.Counted_Item with private; > package Quicksilver.Containers.Smart_Pointers is > type Access_T is access all T; > > > > On compiling a test, I get the following warnings: > > >>> warning: accessibility check failure > > Is this a compiler issue or me? 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. -- -- Stephe