gcc/testsuite/gnat.dg/unreferenced.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatd.F" }
   3
   4 procedure Unreferenced is
   5    X : aliased Integer;
   6    Y : access  Integer := X'Access;
   7    Z : Integer renames Y.all;
   8    pragma Unreferenced (Z);
   9 begin
  10    null;
  11 end Unreferenced;