summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/temp_default1.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp0x/temp_default1.C')
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/temp_default1.C32
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/temp_default1.C b/gcc/testsuite/g++.dg/cpp0x/temp_default1.C
new file mode 100644
index 000000000..dfa2cfb7b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/temp_default1.C
@@ -0,0 +1,32 @@
+// { dg-options "-std=c++0x" }
+
+template<typename T, typename U>
+struct is_same
+{
+ static const bool value = false;
+};
+
+template<typename T>
+struct is_same<T, T> {
+ static const bool value = true;
+};
+
+template<typename T = int> void f()
+{
+ static_assert(is_same<T, int>::value,
+ "T can only be instantiated with an int");
+}
+
+template<typename T = int, typename U>
+void f(U)
+{
+ static_assert(is_same<T, int>::value,
+ "T can only be instantiated with an int");
+}
+
+void g()
+{
+ float pi = 3.14159;
+ f();
+ f(pi);
+}