gcc/testsuite/gnat.dg/warn10_pkg.ads

   1 package Warn10_Pkg is
   2
   3    Size : constant Natural := 100;
   4    type My_Array is array(1..Size, 1..Size) of Float;
   5
   6    type Root is tagged record
   7       Input_Values : My_Array;
   8    end record;
   9
  10    function Get_Input_Value( Driver : Root; I, J : Natural) return Float;
  11
  12 end Warn10_Pkg;