gcc/testsuite/gnat.dg/opt12.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O2" }
   3
   4 with Opt12_Pkg; use Opt12_Pkg;
   5
   6 procedure Opt12 is
   7
   8    Static_Target : Static_Integer_Subtype;
   9
  10 begin
  11
  12    Static_Target := Static_Integer_Subtype(Fix_Half);
  13
  14    if not Equal(Static_Target, 1) then
  15      raise Program_Error;
  16    end if;
  17
  18 end Opt12;