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,e0e1d3b3f7c994b8
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp12-1.free.fr!not-for-mail
From: Samuel Tardieu <sam@rfc1149.net>
Newsgroups: comp.lang.ada
Subject: Re: Robert Dewar's great article about the Strengths of Ada over
  other langauges in multiprocessing!
References: <13t4b2kkjem20f3@corp.supernews.com>
 <89af8399-94fb-42b3-909d-edf3c98d32e5@n75g2000hsh.googlegroups.com>
 <47D39DC8.20002@obry.net>
 <f56d577b-e396-44fc-9b0a-25dcb2311ad2@n36g2000hse.googlegroups.com>
 <114f711c-9cf8-4fdb-8f11-77667afb8719@c33g2000hsd.googlegroups.com>
 <bd08d3a6-fbc8-4b17-af35-73831c40058c@60g2000hsy.googlegroups.com>
 <b64bea7a-d7b3-4079-b46d-0272f97a90f9@c33g2000hsd.googlegroups.com>
 <f1537312-2084-4b4f-ac29-1f36261f45f8@m3g2000hsc.googlegroups.com>
 <c35feae6-724e-43c3-9871-5462f2844542@b64g2000hsa.googlegroups.com>
 <33557da4-e4ba-4c75-9a55-4b7eb5fdad3b@i12g2000prf.googlegroups.com>
Date: Wed, 12 Mar 2008 18:24:07 +0100
Message-ID: <87iqzr26vc.fsf@willow.rfc1149.net>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux)
Cancel-Lock: sha1:D8haq1gZ5k6t5HJbIcEKbnIpDEM=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Leafnode-NNTP-Posting-Host: 2a01:5d8:5138:2f95::3
Organization: Guest of ProXad - France
NNTP-Posting-Date: 12 Mar 2008 18:25:19 MET
NNTP-Posting-Host: 88.191.14.223
X-Trace: 1205342719 news-1.free.fr 10875 88.191.14.223:46845
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:20322
Date: 2008-03-12T18:25:19+01:00
List-Id: <comp.lang.ada>

>>>>> "Maciej" == Maciej Sobczak <see.my.homepage@gmail.com> writes:

Maciej> In the most extreme case (global linker optimization), all
Maciej> calls can be resolved statically.

Not even. Consider a base class B with two child classes D1 and
D2 with their own virtual destructors. Pseudo-code:

  B* o;
  if (user_provided_integer_from_keyboard() == 0)
    B = new D1;
  else
    B = new D2;
  do_something_with (B);
  delete B;

You cannot resolve "delete" statically (unless you add a new "if" in
it, which is then equivalent to looking up the destructor in the
virtual table.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/