[Bug c++/48051] New: sorry, unimplemented: mangling overload

[Bug c++/48051] New: sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

           Summary: sorry, unimplemented: mangling overload
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Keywords: ABI, ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jason@gcc.gnu.org
                CC: gcc-bugs@gcc.gnu.org, jason@gcc.gnu.org,
                    doko@ubuntu.com
        Depends on: 44629


+++ This bug was initially created as a clone of Bug #44629 +++

The testcase from bug 44629 now doesn't ICE, but it still gets a sorry because
we need a mangling for a use of an overloaded function.

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |rejects-valid
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.03.09 18:03:50
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

[Bug c++/48051] sorry, unimplemented: mangling overload

[dave at boostpro dot com]

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

--- Comment #1 from Dave Abrahams <dave at boostpro dot com> 2011-12-10 19:19:02 UTC ---
Created attachment 26044
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26044
Another test case

Sorry, it's a bit long.  Hopefully fixing the others handles this one too.

[Bug c++/48051] sorry, unimplemented: mangling overload

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zeratul976 at hotmail dot
                   |                            |com

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-02 17:48:45 UTC ---
*** Bug 47335 has been marked as a duplicate of this bug. ***

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-06 21:39:50 UTC ---
Author: jason
Date: Fri Jan  6 21:39:43 2012
New Revision: 182970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182970
Log:
    PR c++/6057
    PR c++/48051
    PR c++/50855
    PR c++/51322
gcc/cp/
    * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
    THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
    PREDECREMENT_EXPR.
    (write_template_arg): Fix mangling of class-scope functions and
    argument packs.
    (mangle_decl): Update suggested -fabi-version argument.
    * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
    DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
    * tree.c (dependent_name): No longer static.
    * cp-tree.h: Declare it.
    * pt.c (unify): Defer handling of unconverted functions.
include/
    * demangle.h (enum demangle_component_type): Add
    DEMANGLE_COMPONENT_INITIALIZER_LIST, DEMANGLE_COMPONENT_NULLARY.
libiberty/
    * cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_NULLARY and
    DEMANGLE_COMPONENT_INITIALIZER_LIST.
    (d_make_comp): Likewise.  Allow null right arg for
    DEMANGLE_COMPONENT_TRINARY_ARG2.
    (cplus_demangle_operators): Adjust new/delete; add .*, :: and throw.
    (d_template_args, d_template_arg): Handle 'J' for argument packs.
    (d_exprlist): Add terminator parm.
    (d_expression, d_print_comp): Handle initializer lists, nullary
    expressions, prefix/suffix operators, and new.
    (d_print_subexpr): Avoid parens around DEMANGLE_COMPONENT_QUAL_NAME
    and DEMANGLE_COMPONENT_INITIALIZER_LIST.
    * testsuite/demangle-expected: Add tests.

Added:
    trunk/gcc/testsuite/g++.dg/abi/mangle51.C
    trunk/gcc/testsuite/g++.dg/abi/mangle52.C
    trunk/gcc/testsuite/g++.dg/abi/mangle53.C
    trunk/gcc/testsuite/g++.dg/abi/mangle54.C
    trunk/gcc/testsuite/g++.dg/abi/mangle55.C
    trunk/gcc/testsuite/g++.dg/abi/mangle56.C
    trunk/gcc/testsuite/g++.dg/abi/mangle57.C
    trunk/gcc/testsuite/g++.dg/abi/mangle58.C
    trunk/gcc/testsuite/g++.dg/abi/mangle59.C
Modified:
    trunk/gcc/common.opt
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/operators.def
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/trailing3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic111.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic42.C
    trunk/gcc/testsuite/g++.dg/template/nontype22.C
    trunk/gcc/testsuite/g++.dg/template/pr35240.C
    trunk/include/ChangeLog
    trunk/include/demangle.h
    trunk/libiberty/ChangeLog
    trunk/libiberty/cp-demangle.c
    trunk/libiberty/testsuite/demangle-expected
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/testsuite/abi/demangle/regression/cw-16.cc

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-09 14:15:26 UTC ---
Created attachment 26280
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26280
testsuite patch showing wrong mangling

The change checked in above fixes this bug in many cases, but this patch shows
a case that we still get wrong.

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.0

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-12 17:27:40 UTC ---
Fixed for 4.7.

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-12 17:27:12 UTC ---
Author: jason
Date: Thu Jan 12 17:27:07 2012
New Revision: 183133

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183133
Log:
    PR c++/48051
    * mangle.c (write_expression): Mangle BASELINK scope if
    BASELINK_QUALIFIED_P.
    * search.c (adjust_result_of_qualified_name_lookup): Set
    BASELINK_QUALIFIED_P.
    * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
    * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
    adjust_result_of_qualified_name_lookup for non-qualified names.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/search.c
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/abi/mangle48.C
    trunk/gcc/testsuite/g++.dg/abi/mangle58.C