gcc/testsuite/gnat.dg/inline22.adb

   1 -- { dg-compile }
   2
   3 procedure Inline22 (L, U : Integer) is
   4
   5   type Arr is array (Integer range L .. U) of Boolean;
   6
   7   function Get_Zero return Arr;
   8   pragma Inline_Always (Get_Zero);
   9
  10   function Get_Zero return Arr is
  11   begin
  12     return (others => False);
  13   end;
  14
  15   A : Arr;
  16
  17 begin
  18   A := Get_Zero;
  19 end;