fixedpnt.adb

来自「用于进行gcc测试」· ADB 代码 · 共 11 行

--  { dg-do run }

procedure Fixedpnt is
   A : Duration := 1.0;
   B : Duration := Duration ((-1.0) * A);
begin   
   if B > 0.0 then 
      raise Constraint_Error;
   end if;
end;