1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/sfinae1.C b/gcc/testsuite/g++.dg/template/sfinae1.C
new file mode 100644
index 000000000..47db41154
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/sfinae1.C
@@ -0,0 +1,21 @@
+// PR c++/14337
+
+template <bool> struct Constraint; 
+template <>     struct Constraint<true> { typedef int Result; }; 
+ 
+template <typename T> 
+struct IsInt      { static const bool value = false; }; 
+ 
+template <> 
+struct IsInt<int> { static const bool value = true; }; 
+ 
+template <typename T> 
+typename Constraint<IsInt<T>::value>::Result foo(T); 
+ 
+template <typename T> 
+typename Constraint<!IsInt<T>::value>::Result foo(T); 
+ 
+template <typename> 
+void bar() { 
+    foo(1); 
+}