1-- { dg-do run }
2-- { dg-options "-gnatwae" }
3
4procedure 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");
10begin
11 null;
12end warn1;
13