22 lines
360 B
Ada
22 lines
360 B
Ada
-- { dg-do run }
|
|
-- { dg-options "-O2" }
|
|
|
|
with Interfaces;
|
|
with Opt61_Pkg; use Opt61_Pkg;
|
|
|
|
procedure Opt61 is
|
|
|
|
use type Interfaces.Integer_64;
|
|
|
|
X : constant Int64 := 3125;
|
|
Y : constant Int64 := 5;
|
|
Z : constant Int64 := 10;
|
|
Q, R: Int64;
|
|
|
|
begin
|
|
Double_Divide (X, Y, Z, Q, R, False);
|
|
if R /= 25 then
|
|
raise Program_Error;
|
|
end if;
|
|
end;
|