From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001
From: upstream source tree <ports@midipix.org>
Date: Sun, 15 Mar 2015 20:14:05 -0400
Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified
 gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream
 tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
---
 gcc/testsuite/g++.dg/template/ctor4.C | 39 +++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/ctor4.C

(limited to 'gcc/testsuite/g++.dg/template/ctor4.C')

diff --git a/gcc/testsuite/g++.dg/template/ctor4.C b/gcc/testsuite/g++.dg/template/ctor4.C
new file mode 100644
index 000000000..18ed628ee
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ctor4.C
@@ -0,0 +1,39 @@
+// { dg-do compile }
+
+// Copyright (C) 2001 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 24 Jun 2004 <nathan@codesourcery.com>
+
+// Origin Rani Sharoni via giovannibajo@libero.it
+// Bug 16174, SFINAE failure.
+
+template <class T> struct K 
+{
+  K();
+
+  K(K<T> & rhs);
+  K(K<T> const& rhs);
+  template <class U> K(K<U> const& rhs);
+
+private:
+  template <class U> struct A;
+  template <class U> struct A< K<U> const>
+  {  typedef typename K<U>::compile_time_error type; };
+
+  // This is used to reject calls to the copy constructor
+  //  with objects which are top-level const. If they are
+  //  const, the specialization of A is instantiated and
+  //  causes a compile time error. Otherwise, the general
+  //  template is picked up, it misses definition, so this
+  //  ctor declaration is rejected by SFINAE and everybody
+  //  is happy.
+  // GCC 3.4.1pre and 3.5.0 always matches A's specialization
+  //  when instantiating from foo(), and this causes the error.
+  template <class U>
+  K(U& rhs, typename A<U>::type = 0);
+};
+
+
+K<int> foo(void)
+{
+  return K<int>();
+}
-- 
cgit v1.2.3