annotate gcc/testsuite/g++.dg/cpp0x/addressof2.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // LWG2296 - addressof should be constexpr
kono
parents:
diff changeset
2 // { dg-do compile { target c++11 } }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 template <typename T>
kono
parents:
diff changeset
5 constexpr inline T *
kono
parents:
diff changeset
6 addressof (T &x) noexcept
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 return __builtin_addressof (x);
kono
parents:
diff changeset
9 }
kono
parents:
diff changeset
10
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
11 auto a = __builtin_addressof (1); // { dg-error "31:lvalue required as unary" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
12 auto b = addressof (1); // { dg-error "21:cannot bind non-const lvalue reference of type" }
111
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 struct S { int s : 5; int t; void foo (); } s;
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 auto c = __builtin_addressof (s);
kono
parents:
diff changeset
17 auto d = addressof (s);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
18 auto e = __builtin_addressof (s.s); // { dg-error "33:attempt to take address of bit-field" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
19 auto f = addressof (s.s); // { dg-error "23:cannot bind bit-field" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
20 auto g = __builtin_addressof (S{}); // { dg-error "31:taking address of rvalue" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
21 auto h = addressof (S{}); // { dg-error "21:cannot bind non-const lvalue reference of type" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
22 auto i = __builtin_addressof (S::t); // { dg-error "34:invalid use of non-static data member" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
23 auto j = __builtin_addressof (S::foo); // { dg-error "34:invalid use of non-static member function" }
111
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 void
kono
parents:
diff changeset
26 foo (bool b)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 lab:;
kono
parents:
diff changeset
29 char c;
kono
parents:
diff changeset
30 long long int d;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
31 auto k = __builtin_addressof (lab); // { dg-error "33:.lab. was not declared in this scope" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
32 auto l = __builtin_addressof (b ? c : d); // { dg-error "35:lvalue required as unary" }
111
kono
parents:
diff changeset
33 }