1--  { dg-do run }
2--  { dg-options "-gnatVi" }
3
4procedure 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
22begin
23   h (GG (3, 2).a);
24end;
25