gcc/testsuite/gnat.dg/lto15.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -flto -g" }
   3 -- { dg-require-effective-target lto }
   4
   5 package body Lto15 is
   6
   7    function Proc (Data : Arr) return R is
   8    begin
   9       return (Data'Length, Data);
  10    end;
  11
  12 end Lto15;