public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-286@http.gcc.gnu.org/bugzilla/>
@ 2007-05-02 15:13 ` charlet at gcc dot gnu dot org
2007-05-03 18:15 ` ludovic at ludovic-brenta dot org
` (2 subsequent siblings)
3 siblings, 0 replies; 9+ messages in thread
From: charlet at gcc dot gnu dot org @ 2007-05-02 15:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from charlet at gcc dot gnu dot org 2007-05-02 16:13 -------
Error message looks right to me, the instantiation is not finished so you
cannot
use foo twice here without disambiguating it, e.g:
procedure FOO is new Standard.foo;
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=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-286@http.gcc.gnu.org/bugzilla/>
2007-05-02 15:13 ` [Bug ada/15606] Legal program rejected, RM 8.2(22) charlet at gcc dot gnu dot org
@ 2007-05-03 18:15 ` ludovic at ludovic-brenta dot org
2007-12-13 13:56 ` sam at gcc dot gnu dot org
2009-08-06 20:27 ` ludovic at ludovic-brenta dot org
3 siblings, 0 replies; 9+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2007-05-03 18:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from ludovic at ludovic-brenta dot org 2007-05-03 19:15 -------
I disagree. As highlighted at the beginning of this PR, per 8.2(2), the
instance becomes visibleonly _after_ its declaration, i.e. at the semicolon.
Before the semicolon, the two "Foo"s are NOT ambiguous because only the generic
is in scope, not the instance. Disambiguation is NOT necessary per the ARM, and
the error message does NOT comply with the ARM.
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-286@http.gcc.gnu.org/bugzilla/>
2007-05-02 15:13 ` [Bug ada/15606] Legal program rejected, RM 8.2(22) charlet at gcc dot gnu dot org
2007-05-03 18:15 ` ludovic at ludovic-brenta dot org
@ 2007-12-13 13:56 ` sam at gcc dot gnu dot org
2009-08-06 20:27 ` ludovic at ludovic-brenta dot org
3 siblings, 0 replies; 9+ messages in thread
From: sam at gcc dot gnu dot org @ 2007-12-13 13:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from sam at gcc dot gnu dot org 2007-12-13 13:56 -------
Confirmed on gcc version 4.3.0 20071213
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Last reconfirmed|2005-06-14 20:23:55 |2007-12-13 13:56:19
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-286@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2007-12-13 13:56 ` sam at gcc dot gnu dot org
@ 2009-08-06 20:27 ` ludovic at ludovic-brenta dot org
3 siblings, 0 replies; 9+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2009-08-06 20:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from ludovic at ludovic-brenta dot org 2009-08-06 20:27 -------
Confirmed on 4.4.1.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-4@http.gcc.gnu.org/bugzilla/>
2011-08-30 23:22 ` nicolas.boulenguez at free dot fr
2011-08-30 23:30 ` sam at rfc1149 dot net
@ 2014-02-27 14:23 ` nicolas.boulenguez at free dot fr
2 siblings, 0 replies; 9+ messages in thread
From: nicolas.boulenguez at free dot fr @ 2014-02-27 14:23 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
--- Comment #8 from nicolas.boulenguez at free dot fr ---
Confirmed on 4.9-20140218.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-4@http.gcc.gnu.org/bugzilla/>
2011-08-30 23:22 ` nicolas.boulenguez at free dot fr
@ 2011-08-30 23:30 ` sam at rfc1149 dot net
2014-02-27 14:23 ` nicolas.boulenguez at free dot fr
2 siblings, 0 replies; 9+ messages in thread
From: sam at rfc1149 dot net @ 2011-08-30 23:30 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
--- Comment #7 from Samuel Tardieu <sam at rfc1149 dot net> 2011-08-30 23:21:41 UTC ---
Je suis absent jusqu'au 5 septembre sans accès à mon courrier électronique.
I am on vacation until September 5 without email access.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
[not found] <bug-15606-4@http.gcc.gnu.org/bugzilla/>
@ 2011-08-30 23:22 ` nicolas.boulenguez at free dot fr
2011-08-30 23:30 ` sam at rfc1149 dot net
2014-02-27 14:23 ` nicolas.boulenguez at free dot fr
2 siblings, 0 replies; 9+ messages in thread
From: nicolas.boulenguez at free dot fr @ 2011-08-30 23:22 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
nicolas.boulenguez at free dot fr changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |nicolas.boulenguez at free
| |dot fr
--- Comment #6 from nicolas.boulenguez at free dot fr 2011-08-30 23:20:28 UTC ---
confirmed on 4.6.1
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
2004-05-23 23:37 [Bug ada/15606] New: " ludovic dot brenta at insalien dot org
2004-05-24 1:14 ` [Bug ada/15606] " pinskia at gcc dot gnu dot org
@ 2004-11-01 0:48 ` pinskia at gcc dot gnu dot org
1 sibling, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-01 0:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-01 00:48 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-11-01 00:48:04
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug ada/15606] Legal program rejected, RM 8.2(22)
2004-05-23 23:37 [Bug ada/15606] New: " ludovic dot brenta at insalien dot org
@ 2004-05-24 1:14 ` pinskia at gcc dot gnu dot org
2004-11-01 0:48 ` pinskia at gcc dot gnu dot org
1 sibling, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-24 1:14 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2014-02-27 14:23 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-15606-286@http.gcc.gnu.org/bugzilla/>
2007-05-02 15:13 ` [Bug ada/15606] Legal program rejected, RM 8.2(22) charlet at gcc dot gnu dot org
2007-05-03 18:15 ` ludovic at ludovic-brenta dot org
2007-12-13 13:56 ` sam at gcc dot gnu dot org
2009-08-06 20:27 ` ludovic at ludovic-brenta dot org
[not found] <bug-15606-4@http.gcc.gnu.org/bugzilla/>
2011-08-30 23:22 ` nicolas.boulenguez at free dot fr
2011-08-30 23:30 ` sam at rfc1149 dot net
2014-02-27 14:23 ` nicolas.boulenguez at free dot fr
2004-05-23 23:37 [Bug ada/15606] New: " ludovic dot brenta at insalien dot org
2004-05-24 1:14 ` [Bug ada/15606] " pinskia at gcc dot gnu dot org
2004-11-01 0:48 ` 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).