diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 17:10:06 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-15 17:10:06 +1100 |
commit | be1de4be954c80875ad4108e0a33e8e131b2f2c0 (patch) | |
tree | 1fbbecf276bf7c7bdcbb4dd446099d6d90eaa516 /clang/test/SemaCXX/generic-selection.cpp | |
parent | c4626a62754862d20b41e8a46a3574264ea80e6d (diff) | |
parent | f1bd2e48c5324d3f7cda4090c87f8a5b6f463ce2 (diff) |
Merge branch 'master' of ssh://bitbucket.org/czan/honours
Diffstat (limited to 'clang/test/SemaCXX/generic-selection.cpp')
-rw-r--r-- | clang/test/SemaCXX/generic-selection.cpp | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/clang/test/SemaCXX/generic-selection.cpp b/clang/test/SemaCXX/generic-selection.cpp new file mode 100644 index 0000000..c0a5d89 --- /dev/null +++ b/clang/test/SemaCXX/generic-selection.cpp @@ -0,0 +1,46 @@ +// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s + +template <typename T, typename U = void*> +struct A { + enum { + id = _Generic(T(), // expected-error {{controlling expression type 'char' not compatible with any generic association type}} + int: 1, // expected-note {{compatible type 'int' specified here}} + float: 2, + U: 3) // expected-error {{type 'int' in generic association compatible with previously specified type 'int'}} + }; +}; + +static_assert(A<int>::id == 1, "fail"); +static_assert(A<float>::id == 2, "fail"); +static_assert(A<double, double>::id == 3, "fail"); + +A<char> a1; // expected-note {{in instantiation of template class 'A<char, void *>' requested here}} +A<short, int> a2; // expected-note {{in instantiation of template class 'A<short, int>' requested here}} + +template <typename T, typename U> +struct B { + enum { + id = _Generic(T(), + int: 1, // expected-note {{compatible type 'int' specified here}} + int: 2, // expected-error {{type 'int' in generic association compatible with previously specified type 'int'}} + U: 3) + }; +}; + +template <unsigned Arg, unsigned... Args> struct Or { + enum { result = Arg | Or<Args...>::result }; +}; + +template <unsigned Arg> struct Or<Arg> { + enum { result = Arg }; +}; + +template <class... Args> struct TypeMask { + enum { + result = Or<_Generic(Args(), int: 1, long: 2, short: 4, float: 8)...>::result + }; +}; + +static_assert(TypeMask<int, long, short>::result == 7, "fail"); +static_assert(TypeMask<float, short>::result == 12, "fail"); +static_assert(TypeMask<int, float, float>::result == 9, "fail"); |