diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/CXX/temp/temp.decls/temp.variadic/p4.cpp | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/CXX/temp/temp.decls/temp.variadic/p4.cpp b/test/CXX/temp/temp.decls/temp.variadic/p4.cpp index b4f7c09981..7d2fe85036 100644 --- a/test/CXX/temp/temp.decls/temp.variadic/p4.cpp +++ b/test/CXX/temp/temp.decls/temp.variadic/p4.cpp @@ -26,3 +26,21 @@ struct identity { tuple<int, float> *t_int_float; extract_nested_types<identity<int>, identity<float> >::types *t_int_float_2 = t_int_float; + +// In a dynamic-exception-specification (15.4); the pattern is a type-id. +template<typename ...Types> +struct f_with_except { + virtual void f() throw(Types...); +}; + +// FIXME: the code below requires the ability to instantiate pack +// expansions whose pattern is a type-id. +#if 0 +struct check_f_with_except_1 : f_with_except<int, float> { + virtual void f() throw(int, float); +}; + +struct check_f_with_except_2 : f_with_except<int, float> { + virtual void f() throw(int); +}; +#endif |