gcc/testsuite/gnat.dg/warn28.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3
   4 package body Warn28 is
   5
   6    function Id (X : Integer) return Integer is (2 * X);
   7
   8    procedure TheProcedure1 (TheParameter : in Integer)
   9    is
  10    X : Integer;
  11    begin
  12
  13       X := Id (TheParameter);
  14       if X < 3 then
  15          X := X ** 3;
  16       end if;
  17    end TheProcedure1;
  18
  19    procedure Junk (It : Integer) is  --  { dg-warning "formal parameter \"It\" is not referenced" }
  20       X : Integer := Id (34);
  21    begin
  22       if X < 3 then
  23          X := X ** 3;
  24       end if;
  25    end;
  26
  27    procedure TheProcedure (TheParameter : in Integer)  --  { dg-warning "formal parameter \"TheParameter\" is not referenced" }
  28    is
  29
  30    begin
  31
  32       null;
  33
  34    end TheProcedure;
  35
  36 end Warn28;