1 files changed, 57 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/mem_func_ptr.C b/gcc/testsuite/g++.dg/template/mem_func_ptr.C
new file mode 100644
index 00000000000..bcdda5ca69d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/mem_func_ptr.C
@@ -0,0 +1,57 @@
+// { dg-do compile }
+template<typename T> struct takes_member_ptr;
+template<typename T, typename Class> struct takes_member_ptr<T Class::*> {};
+
+template<typename T, typename Class>
+void fun_takes_member_ptr(T Class::*) {}
+
+
+template<typename T> struct order_member_ptrs;
+template<typename T, typename Class> struct order_member_ptrs<T Class::*> {};
+template<typename R, typename T1, typename Class> 
+  struct order_member_ptrs<R (Class::*)(T1)>
+  {
+    typedef int type;
+  };
+
+template<typename R, typename T1, typename Class>
+  struct order_member_ptrs<R (Class::*)(T1) const>
+  {
+    typedef int c_type;
+  };
+
+template<typename R, typename T1, typename Class>
+  struct order_member_ptrs<R (Class::*)(T1) volatile>
+  {
+    typedef int v_type;
+  };
+
+template<typename R, typename T1, typename Class>
+  struct order_member_ptrs<R (Class::*)(T1) const volatile>
+  {
+    typedef int cv_type;
+  };
+
+	  
+struct X {
+  void bar(float) {}
+  void bar_c(float) const {}
+  void bar_v(float) volatile {}
+  void bar_cv(float) const volatile {}
+};
+
+void foo()
+{
+  sizeof(takes_member_ptr<void (X::*)(float)>);
+  sizeof(takes_member_ptr<void (X::*)(float) const>);
+  sizeof(takes_member_ptr<void (X::*)(float) volatile>);
+  sizeof(takes_member_ptr<void (X::*)(float) const volatile>);
+  sizeof(order_member_ptrs<void (X::*)(float)>::type);
+  sizeof(order_member_ptrs<void (X::*)(float) const>::c_type);
+  sizeof(order_member_ptrs<void (X::*)(float) volatile>::v_type);
+  sizeof(order_member_ptrs<void (X::*)(float) const volatile>::cv_type);
+  fun_takes_member_ptr(&X::bar);
+  fun_takes_member_ptr(&X::bar_c);
+  fun_takes_member_ptr(&X::bar_v);
+  fun_takes_member_ptr(&X::bar_cv);
+}