summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr25_pkg.adb
blob: 59792fdcb1ebc65c39c6d1d4ccbf8a97415abce3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
package body Discr25_Pkg is

  type Arr1 is array (Natural range <>) of Integer;

  B : constant Boolean := N > 0;

  type Arr2 is array (True .. B) of Integer;

  type Obj_T (Size_Max : Natural) is record
    A2 : Arr2;
    A1 : Arr1 (0 .. Size_Max);
  end record;

  procedure Proc1 (Set : in out T) is
  begin
    Set := new Obj_T'(Set.all);
  end;

  procedure Proc2 (Obj : in out T; L : Natural) is
  begin
    Obj := new Obj_T (L);
  end;

end Discr25_Pkg;