gcc/testsuite/gnat.dg/lto15.adb

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