// LWG2296 - addressof should be constexpr
// { dg-do compile { target c++11 } }

template <typename T>
constexpr inline T *
addressof (T &x) noexcept
{
  return __builtin_addressof (x);
}

auto a = __builtin_addressof (1);		// { dg-error "lvalue required as unary" }
auto b = addressof (1);				// { dg-error "cannot bind non-const lvalue reference of type" }

struct S { int s : 5; int t; void foo (); } s;

auto c = __builtin_addressof (s);
auto d = addressof (s);
auto e = __builtin_addressof (s.s);		// { dg-error "attempt to take address of bit-field" }
auto f = addressof (s.s);			// { dg-error "cannot bind bitfield" }
auto g = __builtin_addressof (S{});		// { dg-error "taking address of rvalue" }
auto h = addressof (S{});			// { dg-error "cannot bind non-const lvalue reference of type" }
auto i = __builtin_addressof (S::t);		// { dg-error "invalid use of non-static data member" }
auto j = __builtin_addressof (S::foo);		// { dg-error "invalid use of non-static member function" }

void
foo (bool b)
{
  lab:;
  char c;
  long long int d;
  auto k = __builtin_addressof (lab);		// { dg-error "was not declared in this scope" }
  auto l = __builtin_addressof (b ? c : d);	// { dg-error "lvalue required as unary" }
}