gcc/testsuite/gnat.dg/renaming3.adb

   1 -- { dg-do run }
   2
   3 with Renaming4; use Renaming4;
   4
   5 procedure Renaming3 is
   6    type A is array(1..16) of Integer;
   7    Filler : A := (others => 0);
   8 begin
   9    if B(1) /= 1 then
  10       raise Program_Error;
  11    end if;
  12 end;