gcc/testsuite/gnat.dg/enum1.adb

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