public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't
@ 2005-10-02 17:09 simon at pushface dot org
2005-10-02 17:11 ` [Bug ada/24167] " simon at pushface dot org
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: simon at pushface dot org @ 2005-10-02 17:09 UTC (permalink / raw)
To: gcc-bugs
The example (which I will upload directly) fails as follows:
grendel:~/tmp/visibility simon$ gnatmake -c -u -f actual-s.ads
gcc -c actual-s.ads
actual-s.ads:4:01: instantiation error at basis-second.adb:4
actual-s.ads:4:01: no selector "Started" for type "Base" defined at
basis-second.ads:4, instance at line 4
gnatmake: "actual-s.ads" compilation error
I think the code should have compiled, because the selector Started is defined
in the private part of the parent package Basis.
However
grendel:~/tmp/visibility simon$ gnatmake -c -u -f basis-second.adb
gcc -c basis-second.adb
grendel:~/tmp/visibility simon$
In other words, the generic compiles but the instantiation doesn't, which is
not meant to happen.
--
Summary: Visibility of private component of parent in child
generic, generic compiles but instantiation doesn't
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: simon@pushface.org
GCC build triplet: powerpc-apple-darwin7.9.0
GCC host triplet: powerpc-apple-darwin7.9.0
GCC target triplet: powerpc-apple-darwin7.9.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't
2005-10-02 17:09 [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't simon at pushface dot org
@ 2005-10-02 17:11 ` simon at pushface dot org
2005-10-02 17:52 ` laurent at guerby dot net
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: simon at pushface dot org @ 2005-10-02 17:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from simon at pushface dot org 2005-10-02 17:11 -------
Created an attachment (id=9861)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9861&action=view)
Demonstration of problem
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't
2005-10-02 17:09 [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't simon at pushface dot org
2005-10-02 17:11 ` [Bug ada/24167] " simon at pushface dot org
@ 2005-10-02 17:52 ` laurent at guerby dot net
2009-01-02 15:20 ` laurent at guerby dot net
2010-01-07 17:34 ` simon at pushface dot org
3 siblings, 0 replies; 5+ messages in thread
From: laurent at guerby dot net @ 2005-10-02 17:52 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from laurent at guerby dot net 2005-10-02 17:52 -------
Same message on mainline, however I'm not able to say wether it's a bug or not.
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
GCC build triplet|powerpc-apple-darwin7.9.0 |
GCC host triplet|powerpc-apple-darwin7.9.0 |
GCC target triplet|powerpc-apple-darwin7.9.0 |
Last reconfirmed|0000-00-00 00:00:00 |2005-10-02 17:52:43
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't
2005-10-02 17:09 [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't simon at pushface dot org
2005-10-02 17:11 ` [Bug ada/24167] " simon at pushface dot org
2005-10-02 17:52 ` laurent at guerby dot net
@ 2009-01-02 15:20 ` laurent at guerby dot net
2010-01-07 17:34 ` simon at pushface dot org
3 siblings, 0 replies; 5+ messages in thread
From: laurent at guerby dot net @ 2009-01-02 15:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from laurent at guerby dot net 2009-01-02 15:17 -------
Still there with 4.3.2 and
gcc version 4.4.0 20081228 (experimental) [trunk revision 142939] (GCC)
Arnaud, do you have a generic expert handy to check wether this code is legal
or not? generic compiling but not an instance is quite rare in the language.
Thanks!
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |laurent at guerby dot net,
| |charlet at adacore dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't
2005-10-02 17:09 [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't simon at pushface dot org
` (2 preceding siblings ...)
2009-01-02 15:20 ` laurent at guerby dot net
@ 2010-01-07 17:34 ` simon at pushface dot org
3 siblings, 0 replies; 5+ messages in thread
From: simon at pushface dot org @ 2010-01-07 17:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from simon at pushface dot org 2010-01-07 17:34 -------
Still there with gcc version 4.5.0 20100104 (experimental) (GCC) (r155633)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24167
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2010-01-07 17:34 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-10-02 17:09 [Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't simon at pushface dot org
2005-10-02 17:11 ` [Bug ada/24167] " simon at pushface dot org
2005-10-02 17:52 ` laurent at guerby dot net
2009-01-02 15:20 ` laurent at guerby dot net
2010-01-07 17:34 ` simon at pushface 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).