3 procedure self_aggregate_with_pointer
is
5 type Arr
is array (Natural range <>) of Integer;
7 type Rec
(N
: Natural) is record
11 type Acc_Rec
is access all Rec
;
15 I1
, I2
, I3
, I4
, I5
, I6
, I7
: Integer;
19 S
: Srec
:= (A
=> R
'Access, others => 0);
22 S
:= (A
=> S
.A
, others => 0);
23 if S
.A
/= R
'Access then