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

   1 -- PR middle-end/56474
   2 -- Reported by Pavel Zhukov <pavel@zhukoff.net>
   3
   4 -- { dg-do compile }
   5
   6 with Ada.Streams;
   7
   8 package Array3 is
   9
  10    use type Ada.Streams.Stream_Element_Offset;
  11
  12    type Vector (Size : Ada.Streams.Stream_Element_Offset) is record
  13       Value : Ada.Streams.Stream_Element_Array (0 .. Size);
  14    end record;
  15
  16    Empty_Vector : Vector (-1);
  17
  18 end Array3;