gcc/testsuite/gnat.dg/alignment3.adb

   1 -- { dg-do compile }
   2
   3 with System, Ada.Unchecked_Conversion;
   4 procedure alignment3 is
   5
   6    type Value_Type (Is_Short : Boolean) is record
   7       case Is_Short is
   8          when True =>   V : Natural;
   9          when others => A, B : Natural;
  10       end case;
  11    end record;
  12
  13    type Link_Type (Short_Values : Boolean) is record
  14       Input, Output : Value_Type (Short_Values);
  15       Initialized : Boolean;
  16       N_Probes    : Natural;
  17    end record;
  18
  19    type Link_Access is access Link_Type;
  20
  21    type Natural_Access is access all Natural;
  22    function To_Natural_Access is
  23       new Ada.Unchecked_Conversion (System.Address, Natural_Access);
  24
  25    Ptr : Natural_Access;
  26
  27    procedure N_Probes_For (Link : Link_Access)  is
  28    begin
  29       Ptr := To_Natural_Access (Link.N_Probes'address);
  30       Ptr := To_Natural_Access (Link.Initialized'address);
  31    end;
  32
  33 begin
  34    null;
  35 end;