gcc/testsuite/gnat.dg/specs/size_attribute1.ads

   1 -- { dg-do compile }
   2
   3 with Size_Attribute1_Pkg1;
   4
   5 package Size_Attribute1 is
   6
   7   function Num return Natural;
   8   pragma Import (Ada, Num);
   9
  10   type A is array (Natural range <>) of Integer;
  11
  12   type T is
  13     record
  14       F1 : Long_Float;
  15       F2 : A (1 .. Num);
  16     end record;
  17
  18   package My_Q is new Size_Attribute1_Pkg1 (T);
  19
  20 end Size_Attribute1;