gcc-4.9/gcc/testsuite/gnat.dg/lto11.ads


1
2
3
4
5
6
7
8
9

with Ada.Streams; use Ada.Streams;

package Lto11 is

   type Vector is array (Positive range <>) of Float;

   procedure Write (S : not null access Root_Stream_Type'Class; V : Vector);

end Lto11;