diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc index 8aaae446868..50eda189c43 100644 --- a/gcc/cp/pt.cc +++ b/gcc/cp/pt.cc @@ -22491,6 +22491,12 @@ mark_template_arguments_used (tree tmpl, tree args) gcc_checking_assert (ok || seen_error ()); } } + /* A member function pointer. */ + else if (TREE_CODE (arg) == PTRMEM_CST) + { + bool ok = mark_used (PTRMEM_CST_MEMBER (arg), tf_none); + gcc_checking_assert (ok || seen_error ()); + } /* A class NTTP argument. */ else if (VAR_P (arg) && DECL_NTTP_OBJECT_P (arg)) diff --git a/gcc/testsuite/g++.dg/template/fn-ptr5.C b/gcc/testsuite/g++.dg/template/fn-ptr5.C new file mode 100644 index 00000000000..db3113109ef --- /dev/null +++ b/gcc/testsuite/g++.dg/template/fn-ptr5.C @@ -0,0 +1,28 @@ +// PR c++/119233 +// A version of fn-ptr3a.C using member instead of non-member function +// pointers. + +struct B { + template + void f(T) { T::fail; } // { dg-error "fail" } +}; + +template +struct A { + // P not called +}; + +template +void wrap() { + // P not called +} + +template +void g() { + A<&B::f> a; // { dg-message "required from" } + wrap<&B::f>(); // { dg-message "required from" } +} + +int main() { + g<0>(); +}