gcc/testsuite/gnat.dg/warn29.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3
   4 with Ada.Text_IO; use Ada.Text_IO;
   5
   6 package body Warn29 is
   7    procedure P (X : T; Y : Integer) is
   8    begin
   9       Put_Line ("hello");
  10    end P;
  11 end Warn29;