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;