From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 30 Apr 2008 14:24:18 +0000 (+0000)
Subject: 	PR c++/35986
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c1f194edce3cf8c485367024be8cef780be2a854;p=thirdparty%2Fgcc.git

	PR c++/35986
	* pt.c (more_specialized_fn): Stop the loop even if there are no
	arguments before ellipsis.

	* g++.dg/overload/template4.C: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134823 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index bb4c4af0b4a5..528922267201 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2008-04-30  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/35986
+	* pt.c (more_specialized_fn): Stop the loop even if there are no
+	arguments before ellipsis.
+
 2008-04-29  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/35650
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 5ea5128e8717..b13573ce43ce 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -13652,7 +13652,9 @@ more_specialized_fn (tree pat1, tree pat2, int len)
 
   processing_template_decl++;
 
-  while (len--)
+  while (len--
+	 /* Stop when an ellipsis is seen.  */
+	 && args1 != NULL_TREE && args2 != NULL_TREE)
     {
       tree arg1 = TREE_VALUE (args1);
       tree arg2 = TREE_VALUE (args2);
@@ -13815,10 +13817,6 @@ more_specialized_fn (tree pat1, tree pat2, int len)
 
       args1 = TREE_CHAIN (args1);
       args2 = TREE_CHAIN (args2);
-
-      /* Stop when an ellipsis is seen.  */
-      if (args1 == NULL_TREE || args2 == NULL_TREE)
-	break;
     }
 
   processing_template_decl--;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c7b1cf29a897..b0c5d64b369d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-04-30  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/35986
+	* g++.dg/overload/template4.C: New test.
+
 2008-04-30  Kai Tietz  <kai.tietz@onevision.com>
 
 	* gfortran.dg/chmod_1.f90: Disable for x86_64-*-mingw*.
diff --git a/gcc/testsuite/g++.dg/overload/template4.C b/gcc/testsuite/g++.dg/overload/template4.C
new file mode 100644
index 000000000000..4c3ca05e6c24
--- /dev/null
+++ b/gcc/testsuite/g++.dg/overload/template4.C
@@ -0,0 +1,21 @@
+// PR c++/35986
+// { dg-do compile }
+
+namespace
+{
+  template <int> void foo (...);	// { dg-error "" "candidate" }
+  template <int> void bar (int, ...);	// { dg-error "" "candidate" }
+  void baz (...);			// { dg-error "" "candidate" }
+}
+
+template <int> void foo (...);		// { dg-error "" "candidate" }
+template <int> void bar (int, ...);	// { dg-error "" "candidate" }
+void baz (...);				// { dg-error "" "candidate" }
+
+void
+test ()
+{
+  foo <0> (0);		// { dg-error "is ambiguous" }
+  bar <1> (0, 1);	// { dg-error "is ambiguous" }
+  baz (0);		// { dg-error "is ambiguous" }
+}