gcc/testsuite/gnat.dg/aggr20.ads

   1 with Aggr20_Pkg; use Aggr20_Pkg;
   2 with System;
   3
   4 package Aggr20 is
   5
   6    type Rec1 is record
   7       Address : System.Address;
   8    end record;
   9
  10    Nil_Rec1 : constant Rec1 := (Address => Default_Nil_Address);
  11
  12    type Rec2 is record
  13       Callback : Rec1;
  14    end record;
  15
  16    Nil_Rec2 : constant Rec2 := (Callback => Nil_Rec1);
  17
  18    type Rec3 is record
  19       Callback : Rec2;
  20    end record;
  21
  22    procedure Proc (R : out Rec3);
  23
  24 end Aggr20;