gcc/testsuite/gnat.dg/uninit_array.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with Uninit_Array_Pkg; use Uninit_Array_Pkg;
   5
   6 package body Uninit_Array is
   7
   8   function F1 return Integer;
   9   pragma Inline_Always (F1);
  10
  11   function F1 return Integer is
  12     Var : Arr;
  13   begin
  14     return F (Var(Var'First(1)));
  15   end;
  16
  17   function F2 return Integer is
  18   begin
  19     return F1;
  20   end;
  21
  22 end Uninit_Array;