1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/sfinae2.C b/gcc/testsuite/g++.dg/template/sfinae2.C
new file mode 100644
index 000000000..e39ca6b76
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/sfinae2.C
@@ -0,0 +1,18 @@
+// PR c++/19989
+// Don't instantiate a function template if it would generate an
+//   array of size zero.
+
+// { dg-do compile }
+
+template<int T> struct cl {
+  const static int value = T;
+};
+
+template<int I> void fn (char (*) [cl<I>::value] = 0 ); // { dg-message "note" }
+
+void foo (void)
+{
+  fn<0> ();  // { dg-error "no matching function" }
+  // { dg-message "candidate" "candidate note" { target *-*-* } 15 }
+}
+