[Bug c++/48157] New: Unable to match function call to member function template

[Bug c++/48157] New: Unable to match function call to member function template

[eldlistmailingz at tropicsoft dot com]

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

           Summary: Unable to match function call to member function
                    template
           Product: gcc
           Version: 4.5.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: eldlistmailingz@tropicsoft.com


The code:

"struct AType
 {
  template<class AA>
    void SomeFuncTemplate()
    { }
 };

 template < class T >
 struct TTest2
 {
  template<T> struct helper;

  template<class U>
    static void check(helper<&U::template SomeFuncTemplate<int> > *);
 };

 int main()
 {
  TTest2< void (AType::*)() >::check<AType>(0);
 }"

The error message:

test_has_fun_template.cpp: In function 'int main()':
test_has_fun_template.cpp:19:46: error: no matching function for call to
'TTest2<void (AType::*)()>::check(int)'

    "g++"  -ftemplate-depth-128 -O0 -fno-inline -Wall -pedantic -g
-Wno-variadic-macros   -I"..\..\.." -I"C:\Programming\VersionControl\boost" -c
-o
"..\..\..\bin.v2\libs\tti\test\test_has_fun_template.test\gcc-mingw-4.5.2\debug\test_has_fun_template.o"
"test_has_fun_template.cpp"

This occurs in gcc 4.5.2 and in all previous versions I have tested including
4.5.0, 4.4.0, and 4.3.0.

[Bug c++/48157] Unable to match function call to member function template

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid, wrong-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.03.16 21:33:40
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-03-16 21:33:40 UTC ---
Confirmed, I think this is valid.

Originally reported at http://gcc.gnu.org/ml/gcc-help/2011-03/msg00182.html

Thanks for the bug report

[Bug c++/48157] Unable to match function call to member function template

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-06 04:20:46 UTC ---
Author: jason
Date: Wed Jul  6 04:20:39 2011
New Revision: 175904

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=175904
Log:
    PR c++/48157
    * pt.c (tsubst_qualified_id): Preserve TEMPLATE_ID_EXPR in
    partial instantiation.

Added:
    trunk/gcc/testsuite/g++.dg/template/template-id-4.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/48157] Unable to match function call to member function template

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-07 21:55:11 UTC ---
Author: jason
Date: Thu Jul  7 21:55:09 2011
New Revision: 176014

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176014
Log:
    PR c++/48157
    * pt.c (tsubst_qualified_id): Preserve TEMPLATE_ID_EXPR in
    partial instantiation.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/template/template-id-4.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/pt.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/48157] Unable to match function call to member function template

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.6.2

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-07 21:55:44 UTC ---
Fixed for 4.6.2.