gcc/testsuite/gnat.dg/uninit_array.ads

package Uninit_Array is

  function F2 return Integer;

end Uninit_Array;