From 1c59130c86e8a30c7767ca22b45ef4a95b0133d0 Mon Sep 17 00:00:00 2001
From: Giovanni Bajo <giovannibajo@gcc.gnu.org>
Date: Tue, 2 Dec 2003 15:50:44 +0000
Subject: re PR c++/10126 (ICE in convert_nontype_argument on using overload
 resolution in template args)

	PR c++/10126
	* g++.dg/template/ptrmem8.C: New test.

From-SVN: r74185
---
 gcc/testsuite/ChangeLog                 |  5 +++++
 gcc/testsuite/g++.dg/template/ptrmem8.C | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/ptrmem8.C

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3164e92..0901e56 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2003-12-02  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
+	PR c++/10126
+	* g++.dg/template/ptrmem8.C: New test.
+
+2003-12-02  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
 	PR c++/12573
 	* g++.dg/template/dependent-expr3.C: New test.
 
diff --git a/gcc/testsuite/g++.dg/template/ptrmem8.C b/gcc/testsuite/g++.dg/template/ptrmem8.C
new file mode 100644
index 0000000..c0a1fa3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ptrmem8.C
@@ -0,0 +1,20 @@
+// { dg-do compile }
+// Origin: <marco dot franzen at bigfoot dot com> 
+// PR c++/10126: Handle ptmf default conversions while matching a template 
+//  argument
+
+struct B 
+{
+  int I () const;
+  int I ();
+};
+
+struct D : B {};
+
+template <int (D::*fun)() const> int Get();
+
+int main () 
+{
+  Get<&B::I>();   // { dg-error "no matching function" }
+  Get<&D::I>();   // { dg-error "no matching function" }
+}
-- 
cgit v1.1