blob: 6dbdfa2e7109443d4a45f434f3382465d1ce7a83 [file] [log] [blame]
-- { 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;