[Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[Bug ada/24167] New: Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[simon at pushface dot org]

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

[Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[simon at pushface dot org]

------- 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

[Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[laurent at guerby dot net]

------- 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

[Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[laurent at guerby dot net]

------- 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

[Bug ada/24167] Visibility of private component of parent in child generic, generic compiles but instantiation doesn't

[simon at pushface dot org]

------- 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