gcc-4.9/gcc/testsuite/gnat.dg/pack14.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do compile }

procedure Pack14 is

   subtype False_T is Boolean range False .. False;

   type Rec is record
      F : False_T;
   end record;
   pragma Pack (Rec);

   A : Rec := (F => False);

begin
   null;
end;