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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!feeder.erje.net!1.eu.feeder.erje.net!news.swapon.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Q: setting an address with pure?
Date: Fri, 10 Jul 2015 14:03:47 +0200
Organization: A noiseless patient Spider
Message-ID: <mnoc8d$jep$1@dont-email.me>
References: <lyy4iokzci.fsf@pushface.org>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 10 Jul 2015 12:02:21 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
 logging-data="19929"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX19+5hwGHTkVDILp6GqWFc8pXY2CgIcZOZk="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.0.1
In-Reply-To: <lyy4iokzci.fsf@pushface.org>
Cancel-Lock: sha1:GruiCHqGzWwrIXESG7J3WuPtU0A=
Xref: number.nntp.giganews.com comp.lang.ada:194046
Date: 2015-07-10T14:03:47+02:00
List-Id: <comp.lang.ada>

On 10.07.15 13:48, Simon Wright wrote:
> I need to specify the address at which a hardware object appears.
>
> This works:
>
>     PIOA : PIO
>       with
>         Import,
>         Convention => Ada,
>         Address => System.Storage_Elements.To_Address (16#400E0E00#);
>
> but means that I can't declare the package Pure (or even Preelaborate).
>
> Is anyone aware of any GNAT feature that would allow such a package to
> be Pure?

I know this isn't an answer, but still, do you need
PIOA'Address fixed at compile time? Elsewhere? Could
some tool that works after compilation take care of
placement?