update

[l4.git] / kernel / fiasco / tool / preprocess / test / verify / template.h

diff --git a/kernel/fiasco/tool/preprocess/test/verify/template.h b/kernel/fiasco/tool/preprocess/test/verify/template.h
index 79ab22e2ee56cbd0fdc01ff5f417c85ebcf9fe20..073f2eb0ef2ffc43dd03cc97f0e987383347d933 100644 (file)
--- a/kernel/fiasco/tool/preprocess/test/verify/template.h
+++ b/kernel/fiasco/tool/preprocess/test/verify/template.h
@@ -112,6 +112,17 @@ create_stack();
 template <> inline stack_t<bool>*
 create_stack();
 
+#line 238 "template.cpp"
+template<typename FOO,
+         typename = typename cxx::enable_if<!cxx::is_same<SPACE, Mem_space>::value>::type> void
+template_with_dfl_arg1();
+
+#line 244 "template.cpp"
+template<typename FOO,
+         typename = typename cxx::enable_if<!cxx::is_same<SPACE, Mem_space>::value>::type,
+         typename BAR> void
+template_with_dfl_arg2();
+
 //
 // IMPLEMENTATION of inline functions (and needed classes)
 //
@@ -313,4 +324,21 @@ create_stack()
   return new stack_t<T>();
 }
 
+#line 236 "template.cpp"
+
+
+template<typename FOO,
+         typename> void
+template_with_dfl_arg1()
+{}
+
+#line 242 "template.cpp"
+
+
+template<typename FOO,
+         typename,
+         typename BAR> void
+template_with_dfl_arg2()
+{}
+
 #endif // template_h