gcc/testsuite/gnat.dg/discr25_pkg.adb

   1 package body Discr25_Pkg is
   2
   3   type Arr1 is array (Natural range <>) of Integer;
   4
   5   B : constant Boolean := N > 0;
   6
   7   type Arr2 is array (True .. B) of Integer;
   8
   9   type Obj_T (Size_Max : Natural) is record
  10     A2 : Arr2;
  11     A1 : Arr1 (0 .. Size_Max);
  12   end record;
  13
  14   procedure Proc1 (Set : in out T) is
  15   begin
  16     Set := new Obj_T'(Set.all);
  17   end;
  18
  19   procedure Proc2 (Obj : in out T; L : Natural) is
  20   begin
  21     Obj := new Obj_T (L);
  22   end;
  23
  24 end Discr25_Pkg;