1--  { dg-do run }
2
3procedure Renaming13 is
4   type Stack_Type_Base is array (Natural range <>) of Integer;
5
6   procedure Foo (Buf : in out Stack_Type_Base) is
7      S : Stack_Type_Base renames Buf;
8
9      procedure Init is
10      begin
11         S := (others => 0);
12      end;
13
14   begin
15      Init;
16   end;
17
18   Temp : Stack_Type_Base (1 .. 100);
19begin
20   Foo (Temp);
21end;
22