gcc/testsuite/gnat.dg/opt61.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O2" }
   3
   4 with Interfaces;
   5 with Opt61_Pkg; use Opt61_Pkg;
   6
   7 procedure Opt61 is
   8
   9    use type Interfaces.Integer_64;
  10
  11    X : constant Int64 := 3125;
  12    Y : constant Int64 := 5;
  13    Z : constant Int64 := 10;
  14    Q, R: Int64;
  15
  16 begin
  17    Double_Divide (X, Y, Z, Q, R, False);
  18    if R /= 25 then
  19      raise Program_Error;
  20    end if;
  21 end;