Re: Non byte-aligned components in GNAT rejected

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> -----------------------------------------------------------
> 
> package NBA is
> 
>    type VMF_Character is new Character range
>      Character'Val(0) .. Character'Val(127);
>    for VMF_Character'Size use 7;
> 
>    type Unit_Name_Type is array (1..64) of VMF_Character;
>    for Unit_Name_Type'Component_Size use 7;
>    for Unit_Name_Type'Size use 448;
> 
>    type Unit_Group_Type is record
>       B : Boolean;
>       Unit_Name : Unit_Name_Type;
>    end record;
>    for Unit_Group_Type use record
>       B      at 0 range 0 .. 0;
>       Unit_Name at 0 range 1 .. 448; -- This is rejected
>    end record;
> 
> end NBA;
> _______________________________________________
The following works. You have to split the name so that it has the correct 
boundaries.

package NBA is

   type VMF_Character is new Character range
     Character'Val(0) .. Character'Val(127);
   for VMF_Character'Size use 7;

   type Unit_Name_Type is array (1..56) of VMF_Character;
   for Unit_Name_Type'Component_Size use 7;
   for Unit_Name_Type'Size use 56*7;

   type Unit_Last_Type is array (1..7) of VMF_Character;
   for Unit_Last_Type'Component_Size use 7;
   for Unit_Last_Type'Size use 7*7;

   type Unit_Group_Type is record
      B : Boolean;
      Unit_First: VMF_Character;
      Unit_Name : Unit_Name_Type;
      Unit_Last : Unit_Last_Type;
   end record;
   for Unit_Group_Type use record
      B          at 0 range    0 .. 0;
      Unit_First at 0 range    1 .. 7;          -- together
      Unit_Name  at 1 range    0 ..  56*7 - 1;  -- 64
      Unit_Last  at 1 range 56*7 .. (56+7)*7;   -- characters
   end record;

end NBA;