[Bug c++/11988] New: Using "using" in two-stage name lookup

[Bug c++/11988] New: Using "using" in two-stage name lookup

[derrick at cco dot caltech dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988

           Summary: Using "using" in two-stage name lookup
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: derrick at cco dot caltech dot edu
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i686-linux-gnu

If I am understanding correctly, according to
http://gcc.gnu.org/onlinedocs/gcc/Name-lookup.html#Name%20lookup
the following code should compile:
template <typename T> struct Base {
  int i;
};

template <typename T> struct Derived : public Base<T> {
  int get_i() { using Base<T>::i; return i; }
};

since, according to that document,
"Alternatively, Base<T>::i might be brought into scope by a using-declaration."

However, gcc-3.4-20030813 is rejecting the code with the following errors:
test2.cc: In member function `int Derived<T>::get_i()':
test2.cc:6: error: `Base<T>' is not a namespace
test2.cc:6: error: `i' undeclared (first use this function)
test2.cc:6: error: (Each undeclared identifier is reported only once for each
   function it appears in.)

Is the documentation wrong (or unclear), or the compiler?

[Bug c++/11988] Using "using" in two-stage name lookup

[gdr at integrable-solutions dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988



------- Additional Comments From gdr at integrable-solutions dot net  2003-08-20 06:21 -------
Subject: Re:  New: Using "using" in two-stage name lookup

"derrick at cco dot caltech dot edu" <gcc-bugzilla@gcc.gnu.org> writes:

| template <typename T> struct Derived : public Base<T> {
|   int get_i() { using Base<T>::i; return i; }
| };
| 
| since, according to that document,
| "Alternatively, Base<T>::i might be brought into scope by a using-declaration."
| 
| However, gcc-3.4-20030813 is rejecting the code with the following errors:
| test2.cc: In member function `int Derived<T>::get_i()':
| test2.cc:6: error: `Base<T>' is not a namespace
| test2.cc:6: error: `i' undeclared (first use this function)
| test2.cc:6: error: (Each undeclared identifier is reported only once for each
|    function it appears in.)
| 
| Is the documentation wrong (or unclear), or the compiler?

The compiler is broken.

-- Gaby

[Bug c++/11988] Using "using" in two-stage name lookup

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-20 11:06:17
               date|                            |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-20 11:06 -------
I can confirm this on the mainline (20030820).

[Bug c++/11988] Using "using" in two-stage name lookup

[nathan at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988


nathan at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


------- Additional Comments From nathan at gcc dot gnu dot org  2003-08-20 15:46 -------
the compiler is correct. A using declaration for a class member shall be a
member-declaration. [7.3.3]/6

[Bug c++/11988] Using "using" in two-stage name lookup

[derrick at caltech dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988



------- Additional Comments From derrick at caltech dot edu  2003-08-21 03:30 -------
Subject: Re:  Using "using" in two-stage name lookup

Ummmm... why was this marked resolved? If the compiler is right, then 
there is still a problem in the documentation, which, as far as I can 
tell, has not been fixed.

[Bug c++/11988] Using "using" in two-stage name lookup

[bangerth at dealii dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11988



------- Additional Comments From bangerth at dealii dot org  2003-08-21 13:55 -------
In the documentation, the intent was to have the using declaration in class scope, not 
within the member, to make the name visible to _all_ members. 
 
W.