diff options
| author | Sean Hunt <scshunt@csclub.uwaterloo.ca> | 2011-05-24 22:41:36 +0000 |
|---|---|---|
| committer | Sean Hunt <scshunt@csclub.uwaterloo.ca> | 2011-05-24 22:41:36 +0000 |
| commit | ca63c200346c0ca9e00194ec6e34a5a7b0ed9321 (patch) | |
| tree | 524567d3f4d689a14be1e3df8b9a70bd9cb4ca52 /test/SemaCXX/underlying_type.cpp | |
| parent | cd583ff142121d186b7f6c264ed552607f2aa3a2 (diff) | |
Implement a new type node, UnaryTransformType, designed to represent a
type that turns one type into another. This is used as the basis to
implement __underlying_type properly - with TypeSourceInfo and proper
behavior in the face of templates.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@132017 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaCXX/underlying_type.cpp')
| -rw-r--r-- | test/SemaCXX/underlying_type.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/SemaCXX/underlying_type.cpp b/test/SemaCXX/underlying_type.cpp index 0e43100cb8..607d9ad843 100644 --- a/test/SemaCXX/underlying_type.cpp +++ b/test/SemaCXX/underlying_type.cpp @@ -25,3 +25,13 @@ static_assert(is_same_type<int, __underlying_type(g)>::value, __underlying_type(f) h; static_assert(is_same_type<char, decltype(h)>::value, "h has the wrong type"); + +template <typename T> +struct underlying_type { + typedef __underlying_type(T) type; // expected-error {{only enumeration types}} +}; + +static_assert(is_same_type<underlying_type<f>::type, char>::value, + "f has the wrong underlying type in the template"); + +underlying_type<int>::type e; // expected-note {{requested here}} |