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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e1d728aa632a5b94
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.241.162 with SMTP id wj2mr1838919pbc.2.1342195093594;
        Fri, 13 Jul 2012 08:58:13 -0700 (PDT)
Path: 
 l9ni11632pbj.0!nntp.google.com!news1.google.com!news.glorb.com!solaris.cc.vt.edu!news.vt.edu!newsfeed-00.mathworks.com!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Gnat: broken dispatch tables for interface types ?
Date: Fri, 13 Jul 2012 11:58:13 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcchatb8xgq.fsf@shell01.TheWorld.com>
References: <c231a9b2-8fb7-41ab-98a2-72173a08f66c@googlegroups.com>
 <19yhfqeqkm9kc$.fcax7yetctwy$.dlg@40tude.net>
 <77fa1487-e67d-4660-9073-f4edec4295bf@googlegroups.com>
 <acd97580-e0cd-4ed9-9b66-026019da503d@googlegroups.com>
 <1x0xui2k9bjoi.acdcm0afix9u.dlg@40tude.net> <m24nph1diw.fsf@nidhoggr.home>
 <to9eaae5zm7b$.1p192u4vtogb3$.dlg@40tude.net>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1342195093 2727 192.74.137.71 (13 Jul 2012 15:58:13
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Fri, 13 Jul 2012 15:58:13 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:0HuLkUSBf5irUv3C6CZlISljPvs=
Content-Type: text/plain; charset=us-ascii
Date: 2012-07-13T11:58:13-04:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> It does not work well. I never analyzed the RM for the cases when the type
> of an object could die before the object itself.

That can't happen.

If you don't believe me, try to construct an example.  If you succeed
then either the language or the compiler is broken.

- Bob