warn1.adb

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

--  { dg-do run }
--  { dg-options "-gnatwae" }

procedure warn1 is
   pragma Warnings
     (Off, "variable ""Unused"" is never read and never assigned");
   Unused : Integer;
   pragma Warnings
     (On, "variable ""Unused"" is never read and never assigned");
begin
   null;
end warn1;