1-- { dg-do run } 2-- { dg-options "-gnatws" } 3 4procedure Alignment9 is 5 6 type Kind is (Small, Large); 7 for Kind'Size use 8; 8 9 type Header is 10 record 11 K : Kind; 12 I : Integer; 13 end record; 14 15 for Header use 16 record 17 K at 4 range 0..7; 18 I at 0 range 0..31; 19 end record; 20 21 for Header'Size use 5*8; 22 for Header'Alignment use 1; 23 24 H : Header; 25 26begin 27 if H'Size /= 40 then 28 raise Program_Error; 29 end if; 30end; 31