gcc/testsuite/gnat.dg/valid1.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatVi" }
   3
   4 procedure valid1 is
   5    type m is range 0 .. 10;
   6    for m'size use 8;
   7
   8    type r is record
   9       a, b : m;
  10       c, d, e, f : boolean;
  11    end record;
  12    pragma Pack (r);
  13    for R'size use 20;
  14
  15    type G is array (1 .. 3, 1 .. 3) of R;
  16    pragma Pack (G);
  17
  18    procedure h (c : m) is begin null; end;
  19
  20    GG : G := (others => (others => (2, 3, true, true, true, true)));
  21
  22 begin
  23    h (GG (3, 2).a);
  24 end;