1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
// 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, "");
}
|
