[Bug c++/26256] New: ignores using declaration

[Bug c++/26256] New: ignores using declaration

[igodard at pacbell dot net]

The code:
struct A {int* next; };
struct B {int* next; };
struct C : public A, public B { using A::next; };
void foo(C* c) { c->next = 0; }

gets you:
~/ootbc/sim$ g++ foo.cc
foo.cc: In function `void foo(C*)':
foo.cc:4: error: request for member `next' is ambiguous
foo.cc:2: error: candidates are: int*B::next
foo.cc:1: error:                 int*A::next


Compiles OK on Comeau.

Ivan


-- 
           Summary: ignores using declaration
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net


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

[Bug c++/26256] ignores using declaration

[steven at gcc dot gnu dot org]

-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|                            |3.4.0 4.0.0 4.1.0 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-13 07:21:15
               date|                            |


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

[Bug c++/26256] ignores using declaration

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-13 12:41 -------
This is 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=26256

[Bug c++/26256] ignores using declaration

[fabien dot chene at gmail dot com]

------- Comment #2 from fabien dot chene at gmail dot com  2010-04-22 13:16 -------
Mine...


-- 

fabien dot chene at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fabien dot chene at gmail
                   |                            |dot com


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

[Bug c++/26256] ignores using declaration

[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-02-13 07:21:15         |2010-06-04 13:13:40
               date|                            |


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

[Bug c++/26256] ignores using declaration

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

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

[Bug c++/26256] ignores using declaration

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
      Known to fail|                            |

--- Comment #4 from fabien at gcc dot gnu.org 2011-11-16 08:27:33 UTC ---
Fixed.

[Bug c++/26256] ignores using declaration

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-11-14 17:56:02 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