gcc/testsuite/gnat.dg/warn29.adb

--  { dg-do compile }
--  { dg-options "-gnatwa" }

with Ada.Text_IO; use Ada.Text_IO;

package body Warn29 is
   procedure P (X : T; Y : Integer) is
   begin
      Put_Line ("hello");
   end P;
end Warn29;