view gcc/testsuite/gnat.dg/discr12.adb @ 118:fd00160c1b76

ifdef TARGET_64BIT
author mir3636
date Tue, 27 Feb 2018 15:01:35 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }

with Discr12_Pkg; use Discr12_Pkg;

procedure Discr12 is

  subtype Small_Int is Integer range 1..10;

  package P is

    type PT_W_Disc (D : Small_Int) is private;

    type Rec_W_Private (D1 : Integer) is
    record
      C : PT_W_Disc (D1);
    end record;

    type Rec_01 (D3 : Integer) is
    record
      C1 : Rec_W_Private (D3);
    end record;

    type Arr is array (1 .. 5) of Rec_01(Dummy(0));

  private
    type PT_W_Disc (D : Small_Int) is 
    record
      Str : String (1 .. D);
    end record;

  end P;

begin
  Null;
end;