gcc-4.9/gcc/testsuite/gnat.dg/warn1.adb


1
2
3
4
5
6
7
8
9
10
11
12

--  { 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;