check_elaboration_code.adb

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

-- { dg-do run }
with Bug_Elaboration_Code; use Bug_Elaboration_Code;

procedure Check_Elaboration_Code is
begin
   if I /= J then
      raise Program_Error;
   end if;
end Check_Elaboration_Code;