[Bug c++/25994] New: Using declarations and base function overloading

[Bug c++/25994] New: Using declarations and base function overloading

[wolfgang dot roehrl at gi-de dot com]

Dear all,

I would like to post a bug report for the GNU C/C++ compiler 3.3-e500.

We use the compiler to generate code for a PowerPC processor.

Used invokation line for the GNU C++ compiler:

ccppc -c -x c++ -ansi -Wall -Werror -mcpu=8540 -fverbose-asm -mbig
      -fmerge-templates -mmultiple -mno-string -mstrict-align -O3
      -fno-exceptions -fno-rtti -fno-builtin-printf
      -I<different include paths>
      -D<differen #define's>
      X.CPP -oX.O


// file X.CPP

struct B1
{
    void f (char);
    void f (double);
};

struct B2
{
    void f (int);
    void f (double);       // <--- line 10
};

struct D : public B1, public B2
{
    using B1::f;
    using B2::f;
    void g ()
    {
        f ('a');           // should call B1::f(char)
        f (33);            // should call B2::f(int)
    }
};


The compiler gives the following error message:
X.CPP:10: error: `void B2::f(double)' and `void B1::f(double)' cannot be 
   overloaded

I think this is not standard conforming. See 7.3.3/12: "[ Note: two using
declarations may introduce functions with the same name and the same parameter
types. If, for a call to an unqualified function name, function overload
resolution selects the functions introduced by such using declarations, the
function call is illformed. ]"


Kind regards
W. Roehrl


-- 
           Summary: Using declarations and base function overloading
           Product: gcc
           Version: 3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wolfgang dot roehrl at gi-de dot com
 GCC build triplet: sparc-sun-solaris2.5.1
  GCC host triplet: i386-pc-mingw32
GCC target triplet: powerpc-wrs-vxworks


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

[Bug c++/25994] Using declarations and base function overloading

[pinskia at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 277 bytes --]



------- Comment #1 from pinskia at gcc dot gnu dot org  2006-01-27 12:53 -------
In 4.0, I get a different error message:
t.cc:16: error: using declaration ‘using B2::f’ conflicts with a previous using
declaration


-- 


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

[Bug c++/25994] Using declarations and base function overloading

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-01-27 12:55 -------
Hmm, This might be because we still have some ARM (pre-standard) based using
semantics implemented and not the standard C++ ones.


-- 


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

[Bug c++/25994] Using declarations and base function overloading

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-01-27 13:40 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|sparc-sun-solaris2.5.1      |
   GCC host triplet|i386-pc-mingw32             |
 GCC target triplet|powerpc-wrs-vxworks         |
           Keywords|                            |rejects-valid
      Known to fail|                            |3.3.6 3.4.4 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-27 13:40:58
               date|                            |


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

[Bug c++/25994] Using declarations and base function overloading

[paolo dot carlini at oracle dot com]

------- Comment #4 from paolo dot carlini at oracle dot com  2010-01-17 22:47 -------
*** Bug 42784 has been marked as a duplicate of this bug. ***


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |max at e-soft dot ru


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

[Bug c++/25994] Using declarations and base function overloading

[fabien dot chene at gmail dot com]

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


-- 


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

[Bug c++/25994] Using declarations and base function overloading

[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-01-27 13:40:58         |2010-06-06 17:52:26
               date|                            |


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

[Bug c++/25994] Using declarations and base function overloading

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

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

[Bug c++/25994] Using declarations and base function overloading

[fabien at gcc dot gnu.org]

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

fabien at gcc dot gnu.org changed:

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

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

[Bug c++/25994] Using declarations and base function overloading

[jason at gcc dot gnu.org]

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

--- Comment #6 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