gcc/testsuite/gnat.dg/warn1.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatwae" }
   3
   4 procedure warn1 is
   5    pragma Warnings
   6      (Off, "variable ""Unused"" is never read and never assigned");
   7    Unused : Integer;
   8    pragma Warnings
   9      (On, "variable ""Unused"" is never read and never assigned");
  10 begin
  11    null;
  12 end warn1;