xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/warn31.adb

--  { dg-do compile }
--  { dg-options "-gnatw.x -gnatd.a" }
package body Warn31 is
    procedure Dummy is null;
end Warn31;