gcc/testsuite/gnat.dg/tail_call_p.ads


1
2
3
4
5
6
7
8
9
10
11
12
13

package Tail_Call_P is

  type T is new Natural;

  type Index is (First, Second);

  type A is array (Index) of T;

  My_Array : A := (0, 0);

  procedure Insert (Into : A; Element : T; Value : T);

end Tail_Call_P;