1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/sfinae17.C b/gcc/testsuite/g++.dg/template/sfinae17.C
new file mode 100644
index 000000000..eb043cbdd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/sfinae17.C
@@ -0,0 +1,28 @@
+// The conversion from D* to B* is ambiguous, but that should not produce
+// an error, it should remove the first f overload by SFINAE.
+
+#define static_assert(TEST,STR) \
+  do { int ar[(TEST)?1:-1]; } while (0);
+
+struct B {};
+
+struct B1 : B {};
+struct B2 : B {};
+
+struct D : B1, B2 {};
+
+template <class T> T create();
+
+typedef char one[1];
+typedef char two[2];
+
+template <class T>
+    one &f(char (*)[sizeof static_cast<T>(create<D *>())]);
+template <class T>
+    two &f(...);
+
+int main()
+{
+  static_assert(sizeof f<int>(0) == sizeof(two), "");
+  static_assert(sizeof f<B *>(0) == sizeof(two), "");
+}