view gcc/testsuite/gnat.dg/warn1.adb @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

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