| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | template<typename T, typename U> |
|---|
| 4 | struct is_same { |
|---|
| 5 | static const bool value = false; |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | template<typename T> |
|---|
| 9 | struct is_same<T, T> { |
|---|
| 10 | static const bool value = true; |
|---|
| 11 | }; |
|---|
| 12 | #define JOIN2(X,Y) X##Y |
|---|
| 13 | #define JOIN(X,Y) JOIN2(X,Y) |
|---|
| 14 | #define CHECK_EQUAL_TYPES(T1, T2) \ |
|---|
| 15 | int JOIN(array,__LINE__)[is_same<T1, T2>::value? 1 : -1] |
|---|
| 16 | |
|---|
| 17 | int i; |
|---|
| 18 | typedef int& LRI; |
|---|
| 19 | typedef int&& RRI; |
|---|
| 20 | |
|---|
| 21 | typedef LRI& r1; CHECK_EQUAL_TYPES(r1, int&); |
|---|
| 22 | typedef const LRI& r2; CHECK_EQUAL_TYPES(r2, int&); // expected-warning {{'const' qualifier on reference type 'LRI' (aka 'int &') has no effect}} |
|---|
| 23 | typedef const LRI&& r3; CHECK_EQUAL_TYPES(r3, int&); // expected-warning {{'const' qualifier on reference type 'LRI' (aka 'int &') has no effect}} |
|---|
| 24 | |
|---|
| 25 | typedef RRI& r4; CHECK_EQUAL_TYPES(r4, int&); |
|---|
| 26 | typedef RRI&& r5; CHECK_EQUAL_TYPES(r5, int&&); |
|---|
| 27 | |
|---|