Re: Best representation for spares

["Rego, P." <pvrego@gmail.com>]

On Saturday, February 15, 2014 8:37:36 PM UTC-2, Rego, P. wrote:
> On Saturday, February 15, 2014 7:41:56 PM UTC-2, Jeffrey Carter wrote:
> 
> > Zero is not a valid value for the components of Spare, since it's a boolean type.
> 
> 
> 
> 
> 
> Oh yes, I actually used 
> 
>     type Zero_Bit is range 0 .. 1; 
> 
>     Spare : Zero_Bits (3 .. 31) := (3 .. 31 => 0);
> 
> 
> 
> but in this case
> 
> > default initialization of "Auxiliary_Peripherals_Register_Map" may modify overlaid storage 
> 
> > use pragma Import for "Auxiliary_Peripherals_Register_Map" to suppress initialization (RM B.1(24)) 
> 
> 
> 
> Do you have an idea?

I took a look on ARM B.1(24), and it says

"The declaration of an imported object shall not include an explicit initialization expression. Default initializations are not performed."

So what should actually happen in this case if I use 
 Spare : Zero_Bits (3 .. 31) := (3 .. 31 => 0);
?