public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
* Re: ada/5690: renaming subprograms and default_expression
@ 2002-04-24 5:26 gnat-dev
0 siblings, 0 replies; 4+ messages in thread
From: gnat-dev @ 2002-04-24 5:26 UTC (permalink / raw)
To: nobody; +Cc: gcc-prs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2828 bytes --]
The following reply was made to PR ada/5690; it has been noted by GNATS.
From: gnat-dev@buzco.nyct.net
To: gcc-gnats@gcc.gnu.org
Cc: fw@deneb.enyo.de
Subject: Re: ada/5690: renaming subprograms and default_expression
Date: Wed, 24 Apr 2002 08:20:19 -0400
On 02-02-14 16:01:49 fw@deneb.enyo.de wrote:
| > Number: 5690
| > Category: ada
| > Synopsis: renaming subprograms and default_expression
| > Confidential: no
| > Severity: critical
| > Priority: high
| > Responsible: unassigned
| > State: open
| > Class: rejects-legal
| > Submitter-Id: net
| > Arrival-Date: Thu Feb 14 08:06:00 PST 2002
| > Closed-Date:
| > Last-Modified:
| > Originator: fw@deneb.enyo.de
| > Release: GCC 3.1 2002-02-12
| > Organization:
| > Environment:
| Debian GNU/Linux unstable, x86
| > Description:
| The attached program appears to be legal, but compilation results in the following error messages:
| defaults.adb:6:14: not fully conformant with declaration at line 4
| defaults.adb:6:14: default expression for "X" does not match
| > How-To-Repeat:
| Compile the attached program.
| > Fix:
=== End quoted text ===
This is "questionable, but should be legal" code !
The relevant part of the RM (§ 8.5.4 Subprogram Renaming Declarations)
defines in ¶ 1 :
1. A subprogram_renaming_declaration can serve as the completion of a
subprogram_declaration; such a renaming_declaration is called a
renaming-as-body. A subprogram_renaming_declaration that is not a
completion is called a renaming-as-declaration, and is used to
rename a subprogram ...
(This can be read at
http://buzco.nyct.net/Programming/lang/Ada/gnat/3.14/arm95/arm95_134.html
most of the time (I have about 90 % availability), and is of course in
the RM shipped w/ gnat-3.14 and I guess w/ the new gcc-ada docs.)
Your sample tries to change the default argument w/ a renaming-as-body,
which I can see could be useful at times. The RM does +not+ explicitly
state that this is legal, and all the examples show a
renaming-as-declaration.
GNAT-3.14p exhibits similar behaviour.
I will map out the scope of the problem (eg, what happens if this is a
package w/ "original" defined in another pkg, etc) and see if I can
track down the code.
Meanwhile, if some Compiler Lawyer can identify if this is really a bug
in the compiler or just the manual, that would help.
--
Buz Cory of BuzCo Systems -- New York NY USA http://BuzCo.nyct.net
<gnat-dev@BuzCo.nyct.net> (Buz as GNAT Programmer)
write to <helpdesk@BuzCo.nyct.net> for FREE help with:
Installing/Configuring Linux
Getting started with the Ada Programming Language.
Friends don't let friends do DOS; Linux to the rescue!
Ada 95 is here! Why use an archaic, bug-prone language?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: ada/5690: renaming subprograms and default_expression
@ 2002-12-15 8:21 bosch
0 siblings, 0 replies; 4+ messages in thread
From: bosch @ 2002-12-15 8:21 UTC (permalink / raw)
To: fw, gcc-bugs, gcc-prs, nobody
Synopsis: renaming subprograms and default_expression
State-Changed-From-To: analyzed->closed
State-Changed-By: bosch
State-Changed-When: Sun Dec 15 08:21:27 2002
State-Changed-Why:
Fixed.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5690
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: ada/5690: renaming subprograms and default_expression
@ 2002-04-27 10:37 fw
0 siblings, 0 replies; 4+ messages in thread
From: fw @ 2002-04-27 10:37 UTC (permalink / raw)
To: fw, gcc-bugs, gcc-prs, nobody
Synopsis: renaming subprograms and default_expression
State-Changed-From-To: open->analyzed
State-Changed-By: fw
State-Changed-When: Sat Apr 27 10:37:13 2002
State-Changed-Why:
The problem is caused by a mismatch between the synthesized body for a renaming declaration and the declaration (an impossible "-1" integer literal vs. the negation operator operator applied to "1").
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5690
^ permalink raw reply [flat|nested] 4+ messages in thread
* ada/5690: renaming subprograms and default_expression
@ 2002-02-14 8:06 fw
0 siblings, 0 replies; 4+ messages in thread
From: fw @ 2002-02-14 8:06 UTC (permalink / raw)
To: gcc-gnats
>Number: 5690
>Category: ada
>Synopsis: renaming subprograms and default_expression
>Confidential: no
>Severity: critical
>Priority: high
>Responsible: unassigned
>State: open
>Class: rejects-legal
>Submitter-Id: net
>Arrival-Date: Thu Feb 14 08:06:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator: fw@deneb.enyo.de
>Release: GCC 3.1 2002-02-12
>Organization:
>Environment:
Debian GNU/Linux unstable, x86
>Description:
The attached program appears to be legal, but compilation results in the following error messages:
defaults.adb:6:14: not fully conformant with declaration at line 4
defaults.adb:6:14: default expression for "X" does not match
>How-To-Repeat:
Compile the attached program.
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="defaults.adb"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="defaults.adb"
cHJvY2VkdXJlIERlZmF1bHRzIGlzCgogICBwcm9jZWR1cmUgT3JpZ2luYWwgKFggOiBJbnRlZ2Vy
KTsKICAgcHJvY2VkdXJlIFJlbmFtZWQgKFggOiBJbnRlZ2VyIDo9IC0xKTsKCiAgIHByb2NlZHVy
ZSBSZW5hbWVkIChYIDogSW50ZWdlciA6PSAtMSkKICAgICByZW5hbWVzIE9yaWdpbmFsOwoKICAg
cHJvY2VkdXJlIE9yaWdpbmFsIChYIDogSW50ZWdlcikgaXMKICAgYmVnaW4KICAgICAgbnVsbDsK
ICAgZW5kIE9yaWdpbmFsOwoKYmVnaW4KICAgbnVsbDsKZW5kIERlZmF1bHRzOwo=
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2002-12-15 16:21 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-04-24 5:26 ada/5690: renaming subprograms and default_expression gnat-dev
-- strict thread matches above, loose matches on Subject: below --
2002-12-15 8:21 bosch
2002-04-27 10:37 fw
2002-02-14 8:06 fw
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).