gcc/testsuite/gnat.dg/lto23.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

-- { 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;