gcc/testsuite/gnat.dg/unreferenced2.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatf" }
   3
   4 procedure Unreferenced2 is
   5
   6    protected Example is
   7       procedure Callme;
   8    end Example;
   9
  10    procedure Other (X : Boolean) is
  11    begin
  12       null;
  13    end;
  14
  15    protected body Example is
  16
  17       procedure Internal (X : Boolean) is
  18          pragma Unreferenced (X);
  19         Y : Integer;
  20       begin
  21          Y := 3;
  22       end Internal;
  23
  24       procedure Callme is
  25       begin
  26          Internal (X => True);
  27       end Callme;
  28
  29    end Example;
  30
  31 begin
  32    Example.Callme;
  33    Other (True);
  34 end Unreferenced2;