[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[cvs-commit at gcc dot gnu dot org]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-05 09:15 -------
Subject: Bug 23513

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     nathan@gcc.gnu.org      2005-10-05 09:15:47

Modified files:
        gcc/cp         : ChangeLog call.c pt.c 
        gcc/testsuite  : ChangeLog 
        gcc/testsuite/g++.dg/template: spec22.C 
Added files:
        gcc/testsuite/g++.dg/template: spec26.C 

Log message:
        cp:
        PR c++/23513
        * call.c (joust): Adjust length count to more_specialized_fn.
        * pt.c (more_specialized_fn): Cope with non-static member vs
        non-member.
        testsuite:
        PR c++/23513
        * g++.dg/template/spec22.C: Robustify test.
        * g++.dg/template/spec26.C: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4911&r2=1.4912
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&r1=1.553&r2=1.554
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.1040&r2=1.1041
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6138&r2=1.6139
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec26.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec22.C.diff?cvsroot=gcc&r1=1.1&r2=1.2


-- 


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[nathan at gcc dot gnu dot org]

------- Comment #7 from nathan at gcc dot gnu dot org  2005-10-05 11:07 -------
fixed mainline and 4.0.3
2005-10-05  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/23513
        * call.c (joust): Adjust length count to more_specialized_fn.
        * pt.c (more_specialized_fn): Cope with non-static member vs
        non-member.


-- 

nathan at gcc dot gnu dot org changed:

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


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[cvs-commit at gcc dot gnu dot org]

------- Comment #8 from cvs-commit at gcc dot gnu dot org  2005-10-05 11:07 -------
Subject: Bug 23513

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     nathan@gcc.gnu.org      2005-10-05 11:07:33

Modified files:
        gcc/cp         : ChangeLog call.c pt.c 
        gcc/testsuite  : ChangeLog 
        gcc/testsuite/g++.dg/template: spec22.C 
Added files:
        gcc/testsuite/g++.dg/template: spec26.C 

Log message:
        cp:
        PR c++/23513
        * call.c (joust): Adjust length count to more_specialized_fn.
        * pt.c (more_specialized_fn): Cope with non-static member vs
        non-member.
        testsuite:
        PR c++/23513
        * g++.dg/template/spec22.C: Robustify test.
        * g++.dg/template/spec26.C: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.115&r2=1.4648.2.116
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.531.2.7&r2=1.531.2.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.27&r2=1.978.2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.427&r2=1.5084.2.428
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec26.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec22.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1.10.1&r2=1.1.10.2


-- 


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2005-09-16 13:37 -------
This is a piece of underspecification in the resolution of DR 214
(http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#214).  That
basically tells one to compare pairs of arguments.  But in this case we have a
member function and a non-member function -- how should we treat the this
pointer of the member function and the first arg of the non-member function?

As the algorithm did not give any indication as to how to order these, I made
them unordered.

Experimentation using the edg 3.6 frontend I find it to skip the first argument
of both functions (either an explicit arg or implicit this pointer) if either
function is a member function.  The alternative, of comparing the this pointer
arg with the explicit arg of the other function requires treating the this
pointer argument as-if it were a reference to the object (otherwise it'll never
deduce in either direction as the explicit argument must be a by-value or
by-reference object).  Experimentation shows the EDG front end does not take
that approach.


-- 


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2005-09-16 07:30 -------
I shall take a look

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |nathan at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-16 07:30:41
               date|                            |


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-09-15 21:19 -------
Nathan, do you have any insights about this PR?

-- 


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-08-27 21:49 -------
Nathan --

This change comes from:

2005-04-03  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/20723
        * pt.c (more_specialized_fn): Member functions are unordered wrt
        non-members.  Conversion operators are unordered wrt other
        functions.

I looked at DR124, but I didn't see anything to justify the "member functions
are unordered wrt non-mebers" claim.  What am I missing?

-- Mark

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nathan at codesourcery dot
                   |                            |com


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-26 15:01 -------
It started to fail after 20041211.

-- 


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

[Bug c++/23513] [4.0/4.1 Regression] overload resolution fails to select a more specialized template

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
      Known to fail|                            |4.0.2 4.1.0
      Known to work|                            |3.4.0
            Summary|overload resolution fails to|[4.0/4.1 Regression]
                   |select a more specialized   |overload resolution fails to
                   |template                    |select a more specialized
                   |                            |template
   Target Milestone|---                         |4.0.2


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