gcc/testsuite/gnat.dg/opt50.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O3 -gnatn" }
   3
   4 with Opt50_Pkg; use Opt50_Pkg;
   5
   6 procedure Opt50 is
   7   B : Boolean;
   8   E : Enum;
   9 begin
  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;
  23 end Opt50;