Re: Q: setting an address with pure?

[Brian Drummond <brian@shapes.demon.co.uk>]

On Fri, 10 Jul 2015 12:48:29 +0100, 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? There are similar things in their package Standard, for example
> Standard'Address_Size.
> 
> I tried
> 
>    PIOG : PIO with Import, Convention => Ada;
>    for PIOG use at 16#400E1800#;
> 
> but, besides warning me that 'use at' is obsolescent, GNAT still expects
> System.Address not universal integer.

Does the following work for you? It seems to work in the MSP430 Ada 
compiler (based on gcc4.7.2) ... has anything changed in gcc5.1 to make 
this illegal?

-- Brian

with Interfaces;               use Interfaces;    
--   make unsigned_n visible 

package MSP.adc10 is
 
   pragma Preelaborate;
 
 
   adc10dtc0              : unsigned_8;     --  ADC10 Data Transfer 
Control 0 
   Pragma Volatile(adc10dtc0);
   For adc10dtc0'Address use   16#48#;
...
end MSP.adc10;