[Bug c++/30195] New: Using declaration doesn't work in template.

[Bug c++/30195] New: Using declaration doesn't work in template.

[s__nakayama at infoseek dot jp]

test case

template<class T> struct B
{
  void foo(T) {}
};

template<class T> struct D: B<int>, B<double>
{ 
  using B<int>::foo;
  using B<double>::foo;
  void bar() { foo(3); }
};

int main()
{
  D<int> x;
  x.bar();
  return 0;
}

$g++ cc.cpp
cc.cpp: In member function 'void D<T>::bar()':
cc.cpp:10: error: reference to 'foo' is ambiguous
cc.cpp:3: error: candidates are: void B<T>::foo(T) [with T = double]
cc.cpp:3: error:                 void B<T>::foo(T) [with T = int]
cc.cpp:10: error: reference to 'foo' is ambiguous
cc.cpp:3: error: candidates are: void B<T>::foo(T) [with T = double]
cc.cpp:3: error:                 void B<T>::foo(T) [with T = int]


-- 
           Summary: Using declaration doesn't work in template.
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: s__nakayama at infoseek dot jp


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

[Bug c++/30195] Using declaration doesn't work in template.

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-12-13 06:55 -------
Looks related to PR 25994.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |25994


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

[Bug c++/30195] Using declaration doesn't work in template.

[gdr at gcc dot gnu dot org]

------- Comment #2 from gdr at gcc dot gnu dot org  2006-12-30 18:42 -------
indeed a bug.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-30 18:42:41
               date|                            |


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

[Bug c++/30195] Using declaration doesn't work in template.

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2009-01-26 19:13 -------
*** Bug 38962 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jm at bourguet dot org


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

[Bug c++/30195] Using declaration doesn't work in template.

[fabien dot chene at gmail dot com]

------- Comment #4 from fabien dot chene at gmail dot com  2010-05-09 22:09 -------
mine...


-- 


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

[Bug c++/30195] Using declaration doesn't work in template.

[fabien at gcc dot gnu dot org]

-- 

fabien at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |fabien at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-12-30 18:42:41         |2010-06-07 13:17:07
               date|                            |


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

[Bug c++/30195] Using declaration doesn't work in template.

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug c++/30195] Using declaration doesn't work in template.

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #6 from fabien at gcc dot gnu.org 2011-11-16 08:25:29 UTC ---
Fixed.

[Bug c++/30195] Using declaration doesn't work in template.

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-11-14 17:56:04 UTC ---
Author: jason
Date: Mon Nov 14 17:55:57 2011
New Revision: 181359

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181359
Log:
    PR c++/6936
    PR c++/25994
    PR c++/26256
    PR c++/30195
    * search.c (lookup_field_1): Look through USING_DECL.
    (lookup_field_r): Call lookup_fnfields_slot instead of
    lookup_fnfields_1.
    * semantics.c (finish_member_declaration): Remove the check that
    prevents USING_DECLs from being verified by
    pushdecl_class_level. Call add_method for using declarations that
    designates functions if the using declaration is in a template
    class. Set DECL_IGNORED_P on class-scope using declarations.
    * typeck.c (build_class_member_access_expr): Handle USING_DECLs.
    * class.c (check_field_decls): Keep using declarations.
    (add_method): Remove two diagnostics about conflicting using
    declarations.
    * parser.c (cp_parser_nonclass_name): Handle USING_DECLs.
    * decl.c (start_enum): Call xref_tag whenever possible.
    * cp-tree.h (strip_using_decl): Declare, and reident the previous
    function.
    * name-lookup.c (strip_using_decl): New function.
    (supplement_binding_1): Call strip_using_decl on decl and
    bval. Perform most of the checks with USING_DECLs stripped.  Also
    check that the target decl and the target bval does not refer to
    the same declaration. Allow pushing an enum multiple times in a
    template class. Adjustment to diagnose using redeclarations. Call
    diagnose_name_conflict.
    (push_class_level_binding): Call strip_using_decl on decl and
    bval. Perform most of the checks with USING_DECLs stripped. Return
    true if both decl and bval refer to USING_DECLs and are dependent.
    (diagnose_name_conflict): New function.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/forw_enum10.C
    trunk/gcc/testsuite/g++.dg/debug/using4.C
    trunk/gcc/testsuite/g++.dg/debug/using5.C
    trunk/gcc/testsuite/g++.dg/lookup/pr6936.C
    trunk/gcc/testsuite/g++.dg/lookup/using24.C
    trunk/gcc/testsuite/g++.dg/lookup/using25.C
    trunk/gcc/testsuite/g++.dg/lookup/using26.C
    trunk/gcc/testsuite/g++.dg/lookup/using27.C
    trunk/gcc/testsuite/g++.dg/lookup/using28.C
    trunk/gcc/testsuite/g++.dg/lookup/using29.C
    trunk/gcc/testsuite/g++.dg/lookup/using30.C
    trunk/gcc/testsuite/g++.dg/lookup/using31.C
    trunk/gcc/testsuite/g++.dg/lookup/using32.C
    trunk/gcc/testsuite/g++.dg/lookup/using33.C
    trunk/gcc/testsuite/g++.dg/lookup/using34.C
    trunk/gcc/testsuite/g++.dg/lookup/using35.C
    trunk/gcc/testsuite/g++.dg/lookup/using36.C
    trunk/gcc/testsuite/g++.dg/lookup/using37.C
    trunk/gcc/testsuite/g++.dg/lookup/using38.C
    trunk/gcc/testsuite/g++.dg/lookup/using39.C
    trunk/gcc/testsuite/g++.dg/lookup/using40.C
    trunk/gcc/testsuite/g++.dg/lookup/using41.C
    trunk/gcc/testsuite/g++.dg/lookup/using42.C
    trunk/gcc/testsuite/g++.dg/lookup/using44.C
    trunk/gcc/testsuite/g++.dg/lookup/using45.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/name-lookup.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/search.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/abi/mangle41.C
    trunk/gcc/testsuite/g++.dg/inherit/using4.C
    trunk/gcc/testsuite/g++.dg/lookup/name-clash9.C
    trunk/gcc/testsuite/g++.dg/parse/ctor5.C
    trunk/gcc/testsuite/g++.dg/template/static4.C
    trunk/gcc/testsuite/g++.dg/template/typedef1.C
    trunk/gcc/testsuite/g++.dg/template/using2.C
    trunk/gcc/testsuite/g++.old-deja/g++.brendan/misc14.C
    trunk/gcc/testsuite/g++.old-deja/g++.bugs/900127_02.C
    trunk/gcc/testsuite/g++.old-deja/g++.jason/scoping16.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/anon7.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/redecl1.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/typedef7.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/using1.C