gcc/testsuite/g++.dg/init/pr25811-4.C

   1 // { dg-do compile }
   2 // { dg-options "-fpermissive" }
   3
   4 struct A { int const i; };
   5 struct B { int& i; };
   6 struct C { int i; };
   7
   8 template< class T >
   9 class is_constructible_via_new_without_initializer
  10 {
  11     template<int> class size {};
  12
  13     typedef char yes_type;
  14     struct no_type { char data[2]; };
  15
  16     template <class U>
  17     static yes_type sfinae (size< sizeof (new U) >*);
  18
  19     template <class U>
  20     static no_type sfinae (...);
  21
  22 public:
  23   static const bool value = sizeof (sfinae<T>(0)) == sizeof (yes_type);
  24 };
  25
  26 #define JOIN( X, Y ) DO_JOIN( X, Y )
  27 #define DO_JOIN( X, Y ) DO_JOIN2(X,Y)
  28 #define DO_JOIN2( X, Y ) X##Y
  29
  30 #ifdef __GXX_EXPERIMENTAL_CXX0X__
  31 #  define STATIC_ASSERT(Expr) static_assert(Expr, #Expr)
  32 #else
  33 #  define STATIC_ASSERT(Expr) int JOIN(a,__LINE__)[Expr? 1 : -1]
  34 #endif
  35
  36 STATIC_ASSERT (!is_constructible_via_new_without_initializer<A>::value);
  37 STATIC_ASSERT (!is_constructible_via_new_without_initializer<B>::value);
  38 STATIC_ASSERT (is_constructible_via_new_without_initializer<C>::value);