gcc/testsuite/gnat.dg/sso/init7.ads

   1 with System;
   2
   3 package Init7 is
   4
   5   type Nested1 is record
   6     C1 : Integer;
   7     C2 : Integer;
   8     C3 : Integer;
   9   end record;
  10   for Nested1'Bit_Order use System.Low_Order_First;
  11   for Nested1'Scalar_Storage_Order use System.Low_Order_First;
  12   for Nested1 use record
  13     C1 at 0 range 0 .. 31;
  14     C2 at 4 range 0 .. 31;
  15     C3 at 8 range 0 .. 31;
  16   end record;
  17
  18   type R1 is record
  19     I : Integer;
  20     N : Nested1;
  21   end record;
  22   for R1'Bit_Order use System.Low_Order_First;
  23   for R1'Scalar_Storage_Order use System.Low_Order_First;
  24   for R1 use record
  25     I at 0 range 0 .. 31;
  26     N at 4 range 0 .. 95;
  27   end record;
  28
  29   type Nested2 is record
  30     C1 : Integer;
  31     C2 : Integer;
  32     C3 : Integer;
  33   end record;
  34   for Nested2'Bit_Order use System.High_Order_First;
  35   for Nested2'Scalar_Storage_Order use System.High_Order_First;
  36   for Nested2 use record
  37     C1 at 0 range 0 .. 31;
  38     C2 at 4 range 0 .. 31;
  39     C3 at 8 range 0 .. 31;
  40   end record;
  41
  42   type R2 is record
  43     I : Integer;
  44     N : Nested2;
  45   end record;
  46   for R2'Bit_Order use System.High_Order_First;
  47   for R2'Scalar_Storage_Order use System.High_Order_First;
  48   for R2 use record
  49     I at 0 range 0 .. 31;
  50     N at 4 range 0 .. 95;
  51   end record;
  52
  53   My_R1 : constant R1 := (I => 16#12345678#,
  54                           N => (16#AB0012#, 16#CD0034#, 16#EF0056#));
  55
  56   My_R2 : constant R2 := (I => 16#12345678#,
  57                           N => (16#AB0012#, 16#CD0034#, 16#EF0056#));
  58
  59 end Init7;