gcc/testsuite/gnat.dg/pack14.adb

   1 -- { dg-do compile }
   2
   3 procedure Pack14 is
   4
   5    subtype False_T is Boolean range False .. False;
   6
   7    type Rec is record
   8       F : False_T;
   9    end record;
  10    pragma Pack (Rec);
  11
  12    A : Rec := (F => False);
  13
  14 begin
  15    null;
  16 end;