| -- { dg-do run } | |
| -- { dg-options "-O" } | |
| with Array27_Pkg; use Array27_Pkg; | |
| procedure Array27 is | |
| function Get return Outer_type is | |
| Ret : Outer_Type; | |
| begin | |
| Ret (Inner_Type'Range) := F; | |
| return Ret; | |
| end; | |
| A : Outer_Type := Get; | |
| B : Inner_Type := A (Inner_Type'Range); | |
| begin | |
| if B /= "123" then | |
| raise Program_Error; | |
| end if; | |
| end; |