gcc-4.9/gcc/testsuite/gnat.dg/uninit_array_pkg.ads


1
2
3
4
5
6
7
8
9
10
11

package Uninit_Array_Pkg Is

  type Rec is record
    B1, B2, B3, B4: Boolean;
  end record;

  type Arr is array (Boolean) of Rec;

  function F (R : Rec) return Integer;

end Uninit_Array_Pkg;