Re: GNAT for a PPC Mac OS X machine

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

Bill Findlay wrote:
> On 18/04/2011 16:28, in article 9133l8FtmtU1@mid.individual.net, "Niklas
> Holsti" <niklas.holsti@tidorum.invalid> wrote:
> 
>> Bill Findlay wrote:
>>
> ]>> The problem now is a portability issue.
>>> I have the declarations:
>>>
>>>    type word is mod 2**48;
>>>
>>> ...
>>>
>>>    type field_of_16_bits is mod 2**16;
>>>
>>>    type Q_part is new field_of_16_bits;
>>>
>>>    type Q_register is
>>>       record
>>>          C_part, I_part, M_part : Q_part;
>>>       end record;
>>>    for Q_register'Size use KDF9.word'Size;
>>>
>>> And this is fine in Intel.  But on PPC, we get the error:
>>>
>>>     92.    for Q_register'Size use word'Size;
>>>                                         |
>>>>>> size for "Q_register" too small, minimum allowed is 64
>>> It's puzzling that the compiler refuses to give Q_register the size that it
>>> happily gave to word.  (The aspect clause is there to support unchecked
>>> conversions between the word and Q_register types.)
   ...
> I did not give the complete declaration, which is:
> 
>    type Q_register is
>       record
>          C_part, I_part, M_part : KDF9.Q_part;
>       end record;
>    for Q_register'Size use KDF9.word'Size;
>    for Q_register'Bit_Order use Low_Order_First;
>    for Q_register use
>       record
>          C_part at 0 range 32 .. 47;
>          I_part at 0 range 16 .. 31;
>          M_part at 0 range  0 .. 15;
>       end record;

Bill, have you tried putting the record representation clause before the 
'Size clause? That might help the compiler.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .