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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,12301f67e4ba5adf
X-Google-Attributes: gid103376,public
From: Pascal Ledru <pledru@cs.uah.edu>
Subject: Re: Controlled Types & GNAT 3.09
Date: 1997/03/14
Message-ID: <3329762C.7AC3@cs.uah.edu>#1/1
X-Deja-AN: 225482313
References: <5g3s2l$174@sutton.cs.columbia.edu>
Organization: Aerospatiale, Inc
Newsgroups: comp.lang.ada
Date: 1997-03-14T00:00:00+00:00
List-Id: <comp.lang.ada>


You may want to look at the ARM in details,
but this is what I think should happen. Somebody else may or may not
confirm.

Initialize(Foo)
Initialize(Foo)
Initialize(Foo)
Initialize(Bar)
Initialize(Foo)
Initialize(Bar)
Main Begin ---
F1 := F2
Finalize(Foo)
Adjust(Foo)
B1 := B2
Finalize(Bar)
Finalize(Foo)
Adjust(Foo)
Adjust(Bar)
Main End --- 

then B1 and B2 are finalize first (see order of Finalization 7.6.1 (11)
)
Finalize(Bar)
Finalize(Foo)
Finalize(Bar)
Finalize(Foo)
Program_Error (see ARM 7.6.1(17) )