| // PR c++/95009 |
| // { dg-do compile { target { c++11 && longlong64 } } } |
| |
| struct false_type { static constexpr bool value = false; }; |
| struct true_type { static constexpr bool value = true; }; |
| template<class T, class U> |
| struct is_same : false_type {}; |
| template<class T> |
| struct is_same<T, T> : true_type {}; |
| |
| struct A { |
| int i : 31; |
| unsigned long long l : 37; |
| } a; |
| |
| void |
| g () |
| { |
| // Careful: pre{in,de}crements are lvalues -> deduce T&. */ |
| static_assert (is_same<decltype(a.i), int>::value, ""); |
| static_assert (is_same<decltype((a.i)), int&>::value, ""); |
| static_assert (is_same<decltype(++a.i), int&>::value, ""); |
| static_assert (is_same<decltype((++a.i)), int&>::value, ""); |
| static_assert (is_same<decltype(a.i++), int>::value, ""); |
| static_assert (is_same<decltype((a.i++)), int>::value, ""); |
| static_assert (is_same<decltype(--a.i), int&>::value, ""); |
| static_assert (is_same<decltype((--a.i)), int&>::value, ""); |
| static_assert (is_same<decltype(a.i--), int>::value, ""); |
| static_assert (is_same<decltype((a.i--)), int>::value, ""); |
| static_assert (is_same<decltype(a.i += 1), int&>::value, ""); |
| static_assert (is_same<decltype((a.i += 1)), int&>::value, ""); |
| static_assert (is_same<decltype(a.i -= 1), int&>::value, ""); |
| static_assert (is_same<decltype((a.i -= 1)), int&>::value, ""); |
| static_assert (is_same<decltype(a.i *= 1), int&>::value, ""); |
| static_assert (is_same<decltype((a.i *= 1)), int&>::value, ""); |
| static_assert (is_same<decltype(+a.i), int>::value, ""); |
| static_assert (is_same<decltype((+a.i)), int>::value, ""); |
| static_assert (is_same<decltype(-a.i), int>::value, ""); |
| static_assert (is_same<decltype((-a.i)), int>::value, ""); |
| static_assert (is_same<decltype(~a.i), int>::value, ""); |
| static_assert (is_same<decltype((~a.i)), int>::value, ""); |
| |
| static_assert (is_same<decltype(a.l), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((a.l)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(++a.l), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype((++a.l)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(a.l++), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((a.l++)), unsigned long long>::value, ""); |
| static_assert (is_same<decltype(--a.l), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype((--a.l)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(a.l--), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((a.l--)), unsigned long long>::value, ""); |
| static_assert (is_same<decltype(a.l += 1), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype((a.l += 1)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(a.l -= 1), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype((a.l -= 1)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(a.l *= 1), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype((a.l *= 1)), unsigned long long&>::value, ""); |
| static_assert (is_same<decltype(+a.l), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((+a.l)), unsigned long long>::value, ""); |
| static_assert (is_same<decltype(-a.l), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((-a.l)), unsigned long long>::value, ""); |
| static_assert (is_same<decltype(~a.l), unsigned long long>::value, ""); |
| static_assert (is_same<decltype((~a.l)), unsigned long long>::value, ""); |
| } |