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