gcc/testsuite/gnat.dg/specs/varsize_return2_pkg.adb

   1 package body Varsize_Return2_Pkg is
   2
   3    function Len return Positive is
   4    begin
   5       return 4;
   6    end;
   7
   8    package body G is
   9
  10       function Get return Small_T is
  11       begin
  12          raise Program_Error;
  13          return Get;
  14       end;
  15
  16    end G;
  17
  18 end Varsize_Return2_Pkg;