public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
@ 2007-05-03 8:25 ` charlet at gcc dot gnu dot org
2007-05-03 18:27 ` ludovic at ludovic-brenta dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2007-05-03 8:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from charlet at gcc dot gnu dot org 2007-05-03 09:25 -------
The error message looks valid to me: it's not a matter of visibility: the
protected procedure is visible, but does not match, since it's not a
procedure, it's a protected procedure.
Arno
--
charlet at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
2007-05-03 8:25 ` [Bug ada/16086] Legal program rejected, procedure of protected object should be visible charlet at gcc dot gnu dot org
@ 2007-05-03 18:27 ` ludovic at ludovic-brenta dot org
2008-04-12 1:32 ` sam at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2007-05-03 18:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from ludovic at ludovic-brenta dot org 2007-05-03 19:27 -------
I disagree. Per RM 9.5.1(1), "a protected subprogram IS a subprogram..."
(emphasis mine). Furthermore, the last sentence of 12.6(9) says: "The view is
a function or procedure, never an entry". Both of these sentences consistently
imply that protected procedures and functions are allowed as actuals for
generic formal subprograms.
GNAT must accept the sample program if it is to comply with the ARM. If you
still disagree, please quote chapter and verse.
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
2007-05-03 8:25 ` [Bug ada/16086] Legal program rejected, procedure of protected object should be visible charlet at gcc dot gnu dot org
2007-05-03 18:27 ` ludovic at ludovic-brenta dot org
@ 2008-04-12 1:32 ` sam at gcc dot gnu dot org
2008-04-15 11:04 ` sam at gcc dot gnu dot org
2008-04-15 11:05 ` sam at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-04-12 1:32 UTC (permalink / raw)
To: gcc-bugs
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org
|dot org |
Status|REOPENED |ASSIGNED
Last reconfirmed|2005-06-14 20:31:43 |2008-04-12 01:32:05
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2008-04-12 1:32 ` sam at gcc dot gnu dot org
@ 2008-04-15 11:04 ` sam at gcc dot gnu dot org
2008-04-15 11:05 ` sam at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-04-15 11:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from sam at gcc dot gnu dot org 2008-04-15 11:03 -------
Subject: Bug 16086
Author: sam
Date: Tue Apr 15 11:02:58 2008
New Revision: 134312
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134312
Log:
2008-04-15 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
PR ada/16086
* sem_ch12.adb (Analyze_Formal_Subprogram): The default can be any
protected operation that matches the signature, not only an entry, a
regular subprogram or a literal.
2008-04-15 Samuel Tardieu <sam@rfc1149.net>
gcc/testsuite/
PR ada/16086
* gnat.dg/prot_def.adb: New.
Added:
trunk/gcc/testsuite/gnat.dg/prot_def.adb
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch12.adb
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2008-04-15 11:04 ` sam at gcc dot gnu dot org
@ 2008-04-15 11:05 ` sam at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-04-15 11:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from sam at gcc dot gnu dot org 2008-04-15 11:04 -------
Fixed in SVN.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] New: Legal program rejected, procedure of protected object should be visible
@ 2004-06-19 15:04 ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16086] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 10+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-06-19 15:04 UTC (permalink / raw)
To: gcc-bugs
package Test_248172 is
protected T1 is
procedure p2;
end T1;
generic
with procedure p4 is T1.p2;
package pak3 is
end pak3;
end Test_248172;
test_248172.ads:7:30: expect valid subprogram name as default
gnatmake: "test_248172.ads" compilation error
--
Summary: Legal program rejected, procedure of protected object
should be visible
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
@ 2004-06-19 16:42 ` pinskia at gcc dot gnu dot org
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-06-19 16:42 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16086] " pinskia at gcc dot gnu dot org
@ 2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:36 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-29 14:36 -------
Woops read the bug wrong.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Known to fail| |4.0.0
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16086] " pinskia at gcc dot gnu dot org
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
@ 2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
2004-10-29 14:47 ` pinskia at gcc dot gnu dot org
2004-11-01 1:49 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:36 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-29 14:36 -------
Fixed on the mainline:
test_248172.ads:7:30: expect valid subprogram name as default
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
` (2 preceding siblings ...)
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
@ 2004-10-29 14:47 ` pinskia at gcc dot gnu dot org
2004-11-01 1:49 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-29 14:45 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-10-29 14:45:22
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/16086] Legal program rejected, procedure of protected object should be visible
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
` (3 preceding siblings ...)
2004-10-29 14:47 ` pinskia at gcc dot gnu dot org
@ 2004-11-01 1:49 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-01 1:49 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.0.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16086
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2008-04-15 11:05 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-16086-286@http.gcc.gnu.org/bugzilla/>
2007-05-03 8:25 ` [Bug ada/16086] Legal program rejected, procedure of protected object should be visible charlet at gcc dot gnu dot org
2007-05-03 18:27 ` ludovic at ludovic-brenta dot org
2008-04-12 1:32 ` sam at gcc dot gnu dot org
2008-04-15 11:04 ` sam at gcc dot gnu dot org
2008-04-15 11:05 ` sam at gcc dot gnu dot org
2004-06-19 15:04 [Bug ada/16086] New: " ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16086] " pinskia at gcc dot gnu dot org
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
2004-10-29 14:36 ` pinskia at gcc dot gnu dot org
2004-10-29 14:47 ` pinskia at gcc dot gnu dot org
2004-11-01 1:49 ` pinskia at gcc dot gnu dot org
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).