111
|
1 // LWG2296 - addressof should be constexpr
|
|
2 // { dg-do compile { target c++11 } }
|
|
3
|
|
4 template <typename T>
|
|
5 constexpr inline T *
|
|
6 addressof (T &x) noexcept
|
|
7 {
|
|
8 return __builtin_addressof (x);
|
|
9 }
|
|
10
|
|
11 auto a = __builtin_addressof (1); // { dg-error "lvalue required as unary" }
|
|
12 auto b = addressof (1); // { dg-error "cannot bind non-const lvalue reference of type" }
|
|
13
|
|
14 struct S { int s : 5; int t; void foo (); } s;
|
|
15
|
|
16 auto c = __builtin_addressof (s);
|
|
17 auto d = addressof (s);
|
|
18 auto e = __builtin_addressof (s.s); // { dg-error "attempt to take address of bit-field" }
|
|
19 auto f = addressof (s.s); // { dg-error "cannot bind bitfield" }
|
131
|
20 auto g = __builtin_addressof (S{}); // { dg-error "taking address of rvalue" }
|
111
|
21 auto h = addressof (S{}); // { dg-error "cannot bind non-const lvalue reference of type" }
|
|
22 auto i = __builtin_addressof (S::t); // { dg-error "invalid use of non-static data member" }
|
|
23 auto j = __builtin_addressof (S::foo); // { dg-error "invalid use of non-static member function" }
|
|
24
|
|
25 void
|
|
26 foo (bool b)
|
|
27 {
|
|
28 lab:;
|
|
29 char c;
|
|
30 long long int d;
|
|
31 auto k = __builtin_addressof (lab); // { dg-error "was not declared in this scope" }
|
|
32 auto l = __builtin_addressof (b ? c : d); // { dg-error "lvalue required as unary" }
|
|
33 }
|