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