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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28dcfc3d6dc519b8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-14 07:31:01 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!colt.net!newsfeed00.sul.t-online.de!t-online.de!newsfeed.r-kom.de!newsfeed.stueberl.de!newsfeed.vmunix.org!newsfeed2.easynews.net!easynews.net!news.cid.net!news.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Renaming subprogram and default_expression
Date: Thu, 14 Feb 2002 16:18:04 +0100
Organization: Enyo -- not your organization
Message-ID: <87zo2cgkib.fsf@deneb.enyo.de>
References: <mailman.1013687581.29134.comp.lang.ada@ada.eu.org>
 <87sn84i80s.fsf@deneb.enyo.de>
 <a4gfvm$qek$1@nets3.rz.RWTH-Aachen.DE>
NNTP-Posting-Host: deneb.enyo.de
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: cygnus.enyo.de 1013699826 9762 212.9.189.171 (14 Feb 2002 15:17:06
 GMT)
X-Complaints-To: abuse@enyo.de
NNTP-Posting-Date: 14 Feb 2002 15:17:06 GMT
Cancel-Lock: sha1:XlKEj3Yu/N2le+NHZaXgab4AcPM=
Xref: archiver1.google.com comp.lang.ada:20005
Date: 2002-02-14T15:17:06+00:00
List-Id: <comp.lang.ada>

"Alexander Boucke" <alexb@lufmech.rwth-aachen.de> writes:

> Should this be an error of gnat-3.14p?

I think so.  I'm currently tracking it down.  It appears that the
generated body for the renaming declaration is checked for full
conformance to the specification of the renamed subprogram, which is
wrong.

The check on the generated body is unnecessary, and there is logic to
prevent it, but this logic fails to detect the situation because the
corresponding declaration at this point is already that of the renamed
subprogram, and not the renaming declaration.