gcc/testsuite/gnat.dg/array28.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Array28_Pkg; use Array28_Pkg;
   5
   6 procedure Array28 is
   7
   8   function Get return Outer_type is
   9     Ret : Outer_Type;
  10   begin
  11     Ret (Inner_Type'Range) := F;
  12     return Ret;
  13   end;
  14
  15   A : Outer_Type := Get;
  16   B : Inner_Type := A (Inner_Type'Range);
  17
  18 begin
  19   if B /= "12345" then
  20     raise Program_Error;
  21   end if;
  22 end;