[Bug c++/46170] New: g++ wrongly rejects pointer-to-member in template arguments

[Bug c++/46170] New: g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

           Summary: g++ wrongly rejects pointer-to-member in template
                    arguments
           Product: gcc
           Version: 4.4.4
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: fang@csl.cornell.edu


The following reduced test case is wrongly rejected by g++-4.4 and g++-4.5:

============ test case: reduce.ii =================
namespace util {
struct option_value {
};
template <class T> struct options_map_impl {
typedef T options_struct_type;
typedef bool (*opt_func)(const option_value&, options_struct_type&);
template <class V, V K>  static  bool  set_member_constant(const option_value&,
  options_struct_type&, V options_struct_type::*);
template <class V, V options_struct_type::*mem, V K>  static  bool 
set_member_constant(const option_value& opt, options_struct_type& t) {
return set_member_constant<V,K>(opt, t, mem);
}
};
}
struct cflat_options {
bool show_precharges;
};
typedef util::options_map_impl<cflat_options> options_map_impl_type;
class register_options_modifier {
typedef options_map_impl_type::opt_func modifier_type;
public:  register_options_modifier();
register_options_modifier(const char* Mode,    const modifier_type COM,   
const char* h);
};
static const register_options_modifier
cflat_opt_mod_show_precharges("precharges",
&options_map_impl_type::set_member_constant<bool,
&cflat_options::show_precharges, true>, "show precharge expressions"),
cflat_opt_mod_no_show_precharges("no-" "precharges",
&options_map_impl_type::set_member_constant<bool,
&cflat_options::show_precharges, false>, "hide precharge expressions");
=========== end test case ===============

delta-reduced using:
#!/bin/sh -e
# reduce.sh
CXXFLAGS="-ansi -Woverloaded-virtual -W -Wextra -Wall -Wundef -Wshadow
-Wno-unused-parameter -Wpointer-arith -Wcast-qual -Wcast-align -Wconversion
-Werror -Wno-conversion -Wno-long-long"
# must pass g++-4.2 first
g++ $CXXFLAGS -c -o reduce.o reduce.ii
g++-4 -pipe -g -O2 $CXXFLAGS -x c++ reduce.ii -o reduce.o 2> reduce.err || :
grep -q "not a valid template argument" reduce.err
# exactly 4 lines of errors
el=`wc -l reduce.err | awk '{print $1;}'`
test $el -eq 4

============================================
diagnostic:
reduce.ii: In static member function 'static bool
util::options_map_impl<T>::set_member_constant(const util::option_value&, T&)
[with V = bool, V T::* mem = &cflat_options::show_precharges, V K = true, T =
cflat_options]':
reduce.ii:22:   instantiated from here
reduce.ii:9: error: 'true' is not a valid template argument for type 'bool
cflat_options::*'
reduce.ii:9: error: it must be a pointer-to-member of the form `&X::Y'

============================================
it pass g++-4.2 and fails g++-4.4, g++-4.5:

fang@fangbook 163> g++ -v
Using built-in specs.
Target: i686-apple-darwin10
Configured with: /var/tmp/gcc/gcc-5664~105/src/configure --disable-checking
--enable-werror --prefix=/usr --mandir=/share/man
--enable-languages=c,objc,c++,obj-c++
--program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib
--build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10-
--host=x86_64-apple-darwin10 --target=i686-apple-darwin10
--with-gxx-include-dir=/include/c++/4.2.1
Thread model: posix
gcc version 4.2.1 (Apple Inc. build 5664)

fang@fangbook 164> g++-4 -v
Using built-in specs.
Target: i386-apple-darwin10.4.0
Configured with: ../gcc-4.4.4/configure --prefix=/sw --prefix=/sw/lib/gcc4.4
--mandir=/sw/share/man --infodir=/sw/lib/gcc4.4/info
--enable-languages=c,c++,fortran,objc,obj-c++,java --with-gmp=/sw
--with-libiconv-prefix=/sw --with-ppl=/sw --with-cloog=/sw --with-mpc=/sw
--with-system-zlib --x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
--program-suffix=-fsf-4.4
Thread model: posix
gcc version 4.4.4 (GCC) 

(for 4.5)
g++-4 -v
Using built-in specs.
COLLECT_GCC=g++-4
COLLECT_LTO_WRAPPER=/Volumes/MacSpare/sw/lib/gcc4.5/bin/../libexec/gcc/i386-apple-darwin10.4.0/4.5.0/lto-wrapper
Target: i386-apple-darwin10.4.0
Configured with: ../gcc-4.5.0/configure --prefix=/sw --prefix=/sw/lib/gcc4.5
--mandir=/sw/share/man --infodir=/sw/lib/gcc4.5/info
--enable-languages=c,c++,fortran,objc,obj-c++,java --with-gmp=/sw
--with-libiconv-prefix=/sw --with-ppl=/sw --with-cloog=/sw --with-mpc=/sw
--with-system-zlib --x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
--program-suffix=-fsf-4.5
Thread model: posix
gcc version 4.5.0 (GCC) 

===================================
keywords: rejects-valid, diagnostic
known-to-work: 4.2.1
known-to-fail: 4.4.4 4.5.0

This also used to work on 4.4.2, so it might be a branch regression.

[Bug c++/46170] g++ wrongly rejects pointer-to-member in template arguments

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2010-10-25 21:09:02 UTC ---
Looks related to PR46162. Jason, could you please have a look to both? Thanks
in advance.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paolo.carlini at oracle dot
                   |                            |com
            Summary|g++ wrongly rejects         |[4.4/4.5/4.6 Regression]
                   |pointer-to-member in        |g++ wrongly rejects
                   |template arguments          |pointer-to-member in
                   |                            |template arguments

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2010-10-26 09:17:49 UTC ---
Looks like a regression to me.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.26 09:18:07
     Ever Confirmed|0                           |1

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dseketel at redhat dot com

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-26 13:10:13 UTC ---
It is caused by revision 153822:

http://gcc.gnu.org/ml/gcc-cvs/2009-11/msg00038.html

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |dodji at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-10-27 20:36:46 UTC ---
Created attachment 22180
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22180
Fix candidate

This looks like another case of us missing an SFINAE spot.

I am about to start testing the attached patchlet.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[paolo.carlini at oracle dot com]

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

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2010-10-28 12:34:52 UTC ---
Thanks Dodji for working on this. Please remember to resolve PR46162 too (very
likely a duplicate) while you are at it...

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #6 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-10-28 14:44:54 UTC ---
"paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org> writes:

> Thanks Dodji for working on this. Please remember to resolve PR46162
> too (very likely a duplicate) while you are at it...

Ah. Thanks for the head-up. That one felt below my radar. Yes, I believe
it's the same problem and the patch fixes it for me. I have updated the
patch with this testcase [slightly modified to avoid including a
standard library header] and I will attach it to this bug right away. I
don't commit right now b/c I am on the road with a jumpy connectivity.

Btw, the patch got accepted at
http://gcc.gnu.org/ml/gcc-patches/2010-10/msg02387.html. I still need to
test it against the branches and commit it there if the tests succeed.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #22180|0                           |1
        is obsolete|                            |

--- Comment #7 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-10-28 14:46:47 UTC ---
Created attachment 22190
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22190
Updated patch with updated test from PR c++/46162

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |greg.r.rogers at gmail dot
                   |                            |com

--- Comment #8 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-10-28 14:48:09 UTC ---
*** Bug 46162 has been marked as a duplicate of this bug. ***

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[paolo.carlini at oracle dot com]

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

--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2010-10-28 14:49:30 UTC ---
Excellent. Thanks again!

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #10 from David Fang <fang at csl dot cornell.edu> 2010-11-01 20:40:17 UTC ---
Thanks for working on this, Dodji!
Meanwhile, I've been trying to find some source workaround for my example until
this is patched and the next release is out.  Can you think of any?

Just to clarify: the test case I pasted isn't related to substitution failure
or SFINAE, is it?

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #11 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 12:58:51 UTC ---
Author: dodji
Date: Tue Nov  2 12:58:48 2010
New Revision: 166181

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166181
Log:
Fix PR c++/46170, c++/46162

gcc/cp/ChangeLog:
    PR c++/46170
    PR c++/46162
    * pt.c (check_valid_ptrmem_cst_expr): Add a complain parameter to
    control diagnostic.
    (convert_nontype_argument, convert_nontype_argument): Pass the
    complain parameter down to check_valid_ptrmem_cst_expr.

gcc/testsuite/ChangeLog:
    PR c++/46170
    PR c++/46162
    * g++.dg/template/sfinae26.C: New test.
    * g++.dg/template/sfinae27.C: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/template/sfinae26.C
    trunk/gcc/testsuite/g++.dg/template/sfinae27.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #12 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:16:48 UTC ---
This if fixed in 4.6.

I looked into applying it to 4.5 and it appears to be depending on the 4.6
patch at svn revision http://gcc.gnu.org/viewcvs?view=revision&revision=163895
That patch being a fix (actually it fixes a problem that exists in 4.5) I have
backported it in my 4.5 tree as well and tested it successfully.

For 4.4, the fix depends on one more patch, which is
http://gcc.gnu.org/viewcvs?view=revision&revision=148535
That patch is not a regression fix per se and backporting it took me some
mechanical editing as the 4.4 code base is different. But I backported it, as
well at the patch that was needed for 4.5. I could then test my fix in 4.4
sucessfully.

So I am unsure about how to proceed. Should I propose this patch for 4.5 and
4.4 (along with the other patches it depends on)? I'll attach shortly the
resulting patchsets for the different branches.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #13 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:35:33 UTC ---
Created attachment 22224
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22224
4_5-patch-0: First patch for 4.5 branch

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #14 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:36:36 UTC ---
Created attachment 22225
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22225
4_5-patch-1: Second patch for 4.5 branch

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #15 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:37:38 UTC ---
Created attachment 22226
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22226
4_4-patch-0: First patch for 4.4 branch

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #16 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:38:15 UTC ---
Created attachment 22227
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22227
4_4-patch-1: Second patch for 4.4 branch

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #17 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 13:38:55 UTC ---
Created attachment 22228
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22228
4_4-patch-2: Third patch for 4.4 branch

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #18 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-02 14:19:04 UTC ---
"fang at csl dot cornell.edu" <gcc-bugzilla@gcc.gnu.org> writes:

> Meanwhile, I've been trying to find some source workaround for my example until
> this is patched and the next release is out.  Can you think of any?

Hmmh. Maybe try to avoid using pointers to members as template arguments
for now? Or if you do, try to avoid having two (or more) function
templates of the same name, whith one of the templates expecting a
pointer to member as an argument.

>
> Just to clarify: the test case I pasted isn't related to substitution failure
> or SFINAE, is it?

I think it is, and here is why.

While looking at the expression
&options_map_impl_type::set_member_constant<bool,
                                             &cflat_options::show_precharges,
                         true>,
the compiler tries to find the proper
options_map_impl_type::set_member_constant template to instantiate.

A set of candidate templates is built from the two possible
options_map_impl<cflat_options>::set_member_constant template you have
there. For each template, the compiler tries to deduce the template
arguments that match the template parameters, using the argument {bool,
&cflat_optionss::show_precharges, and true} that are given.

The first template ->|<- template <class V, V K> static bool
set_member_constant(const option_value&, options_struct_type&, V
options_struct_type::*); ->|<- is considered, but the argument deduction
fails because the template doesn't have the right number of
arguments. This failure should not be an error and we should then
consider the second function template. The bug is that we emit and error
and stop right there instead of keep going. And we stop specifically
while looking at the pointer to member constant.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[jason at gcc dot gnu.org]

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

--- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> 2010-11-02 16:36:01 UTC ---
I think we can avoid the extra patch for 4.4 by just removing the code that
changes c_inhibit_evaluation_warnings; let's do that.

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #20 from David Fang <fang at csl dot cornell.edu> 2010-11-02 17:50:01 UTC ---
(In reply to comment #18)

Fantastic explanation, thank you!

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.6

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #21 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-08 10:16:19 UTC ---
"jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> writes:

> --- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> 2010-11-02 16:36:01 UTC ---
> I think we can avoid the extra patch for 4.4 by just removing the code that
> changes c_inhibit_evaluation_warnings; let's do that.

If we do that then the test template/sfinae25.C accompanying the patch
fails by emitting the warning:

sfinae25.C:12: warning: division by zero

I suppose this is precisely what the code changing
c_inhibit_evaluation_warnings
in tsubst_template_arg was meant to address, isn't it?

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/46170] [4.4/4.5/4.6 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #22 from David Fang <fang at csl dot cornell.edu> 2010-11-30 21:11:02 UTC ---
Little ping: is this still expected to be fixed in 4.4.x and 4.5.x?
Not that it should matter, but it's still a rejects-valid showstopper for 
compiling my project, which other users keep running into.  Again, thanks for
the fix on trunk.

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #23 from David Fang <fang at csl dot cornell.edu> 2011-01-13 22:07:10 UTC ---
Hi again, any chance Dodji's patches could be pushed to the 4.5 and/or 4.4
branches, before it gets too close to release time again?  Thanks.

also if we're keeping fields accurate,
keywords: rejects-valid
known-to-fail: 4.4.2 4.5.2

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #24 from David Fang <fang at csl dot cornell.edu> 2011-01-13 23:23:49 UTC ---
Apologies, my typo:
known-to-fail: 4.4.4 4.5.2
known-to-work: 4.4.2

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #25 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-01-18 12:44:28 UTC ---
> Hi again, any chance Dodji's patches could be pushed to the 4.5 and/or 4.4
> branches, before it gets too close to release time again?  Thanks.

It's in my TODO list. I'll get to it ASAP.

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #26 from David Fang <fang at csl dot cornell.edu> 2011-02-22 00:16:19 UTC ---
Friendly ping?

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #27 from David Fang <fang at csl dot cornell.edu> 2011-03-28 23:42:54 UTC ---
Friendly ping for backport?

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[dodji at gcc dot gnu.org]

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

--- Comment #28 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-03-29 19:49:55 UTC ---
> Friendly ping for backport?

Woops, sorry, yes.  I am going to look into this really soon now.

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.6                       |4.4.7

[Bug c++/46170] [4.4/4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[fang at csl dot cornell.edu]

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

--- Comment #29 from David Fang <fang at csl dot cornell.edu> 2011-06-29 20:21:52 UTC ---
re-ping for backport?

[Bug c++/46170] [4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.7                       |4.5.4

--- Comment #30 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 12:46:02 UTC ---
4.4 branch is being closed, moving to 4.5.4 target.

[Bug c++/46170] [4.5 Regression] g++ wrongly rejects pointer-to-member in template arguments

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #31 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-02 10:40:40 UTC ---
Fixed in 4.6.0, the 4.5 branch is being closed.