From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Renaming subprogram and default_expression
Date: Thu, 14 Feb 2002 16:18:04 +0100
Date: 2002-02-14T15:17:06+00:00 [thread overview]
Message-ID: <87zo2cgkib.fsf@deneb.enyo.de> (raw)
In-Reply-To: a4gfvm$qek$1@nets3.rz.RWTH-Aachen.DE
"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.
next prev parent reply other threads:[~2002-02-14 15:18 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-14 11:52 Renaming subprogram and default_expression Christoph Grein
2002-02-14 12:04 ` Florian Weimer
2002-02-14 12:46 ` Lutz Donnerhacke
2002-02-14 13:15 ` Florian Weimer
2002-02-14 14:01 ` Alexander Boucke
2002-02-14 15:18 ` Florian Weimer [this message]
2002-02-14 15:46 ` Alexander Boucke
2002-02-14 15:58 ` Florian Weimer
2002-02-14 16:24 ` Alexander Boucke
2002-02-14 16:31 ` Larry Hazel
2002-02-14 16:35 ` Florian Weimer
2002-02-15 8:40 ` Lutz Donnerhacke
-- strict thread matches above, loose matches on Subject: below --
2002-02-15 5:38 Christoph Grein
2002-02-14 10:51 Florian Weimer
2002-02-14 11:31 ` sk
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox