1-- { dg-do run }
2-- { dg-options "-O2" }
3
4with Enum1_Pkg; use Enum1_Pkg;
5
6procedure Enum1 is
7
8  function Cond return Boolean is
9  begin
10    return My_N = Two or My_N = Three;
11  end;
12
13begin
14  if Cond then
15    raise Constraint_Error;
16  end if;
17end;
18