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