| -- { dg-do compile } | |
| -- { dg-options "-flto" { target lto } } | |
| procedure Lto23 (N : Natural) is | |
| type Root is tagged null record; | |
| type Vec is array (Positive range <>) of Root; | |
| type Rec is record | |
| V : Vec (1 .. N); | |
| end record; | |
| type Arr is array (Positive range <>) of Rec; | |
| A : Arr (1 .. 4); | |
| begin | |
| null; | |
| end; |