1-- { dg-do compile }
2-- { dg-options "-flto" { target lto } }
3
4procedure Lto23 (N : Natural) is
5
6  type Root is tagged null record;
7
8  type Vec is array (Positive range <>) of Root;
9
10  type Rec is record
11    V : Vec (1 .. N);
12  end record;
13
14  type Arr is array (Positive range <>) of Rec;
15
16  A : Arr (1 .. 4);
17
18begin
19  null;
20end;
21