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