1-- { dg-do run } 2 3pragma Extend_System (Aux_DEC); 4 5with System; 6 7procedure Pack26 is 8 9 type Bool_Array is array (1 .. 8) of Boolean; 10 pragma pack (Bool_Array); 11 12 All_True : Bool_Array := (others => True); 13 Old_Value : Boolean := False; 14 15begin 16 17 System.Clear_Interlocked (All_True (2), Old_Value); 18 19 if not Old_Value then 20 raise Program_Error; 21 end if; 22 23end;