1-- { dg-do run }
2-- { dg-options "-O3 -gnatn" }
3
4with Opt50_Pkg; use Opt50_Pkg;
5
6procedure Opt50 is
7  B : Boolean;
8  E : Enum;
9begin
10  Get ("four", E, B);
11  if B = True then
12    raise Program_Error;
13  end if;
14  Get ("three", E, B);
15  if B = False then
16    raise Program_Error;
17  end if;
18  declare
19    A : Enum_Boolean_Array (One .. E) := (others => True);
20  begin
21    Set (A);
22  end;
23end Opt50;
24