gcc/testsuite/gnat.dg/lto11.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-flto" { target lto } }
   3
   4 with Ada.Streams; use Ada.Streams;
   5
   6 package body Lto11 is
   7
   8    procedure Write
   9      (S : not null access Root_Stream_Type'Class;
  10       V : Vector)
  11    is
  12       subtype M_SEA is Stream_Element_Array (1 .. V'Size / Stream_Element'Size);
  13       Bytes : M_SEA;
  14       for Bytes'Address use V'Address;
  15       pragma Import (Ada, Bytes);
  16    begin
  17       Ada.Streams.Write (S.all, Bytes);
  18    end;
  19
  20 end Lto11;