aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/uninit_array.adb
blob: 910bdaf431acbdf81e8d79aea5159603092bb126 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
-- { dg-do compile }
-- { dg-options "-gnatws" }

with Uninit_Array_Pkg; use Uninit_Array_Pkg;

package body Uninit_Array is

  function F1 return Integer;
  pragma Inline_Always (F1);

  function F1 return Integer is
    Var : Arr;
  begin
    return F (Var(Var'First(1)));
  end;

  function F2 return Integer is
  begin
    return F1;
  end;

end Uninit_Array;