From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a05:6214:149:: with SMTP id
 x9mr2235741qvs.53.1588678387503;
        Tue, 05 May 2020 04:33:07 -0700 (PDT)
X-Received: by 2002:a05:6830:1e39:: with SMTP id
 t25mr2015775otr.114.1588678387136;
 Tue, 05 May 2020 04:33:07 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 5 May 2020 04:33:06 -0700 (PDT)
In-Reply-To: <hhcvilFe4qrU1@mid.individual.net>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=185.22.143.43;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 185.22.143.43
References: <hhcvilFe4qrU1@mid.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b47b2b53-fedc-45b9-b510-8ef4ec37e758@googlegroups.com>
Subject: Re: How can one record component be local and another not?
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Tue, 05 May 2020 11:33:07 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:58578
Date: 2020-05-05T04:33:06-07:00
List-Id: <comp.lang.ada>

Am Dienstag, 5. Mai 2020 13:04:56 UTC+2 schrieb hreba:
> I have reduced my problem to the following example:
> 
> package Aux is
>     type Integer_P is access all Integer;
>     type Rec is record
>        a: aliased Integer;
>        p: Integer_P;
>     end record;
> 
>     procedure Init (r: in out Rec);
> end Aux;
> 
> package body Aux is
>     procedure Init (r: in out Rec) is
>     begin
>        r.p:= r.a'Access;  -- <-- error!
>     end Init;
> end Aux;

Imagine you define a local Rec:

with Aux;
procedure Proc is
  R: Aux.Rec;
begin
  Aux.Init (R);
end Proc;

Now R has shorter lifetime than the access type Integer_P. Thus you might have somewhere an access object AO with longer lifetime than R and try to assign
AO := R.P;

Try Unrestricted_Access.