1-- { dg-do compile } 2 3procedure 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 14begin 15 null; 16end; 17