gcc/testsuite/gnat.dg/renaming7.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Renaming7_Pkg; use Renaming7_Pkg;
   5 with System;
   6
   7 procedure Renaming7 is
   8   C : constant System.Address := A'Address;
   9   D : System.Address renames C;
  10 begin
  11   null;
  12 end;