Home | History | Annotate | Download | only in SemaCXX
      1 // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++11 -Wall %s
      2 
      3 struct Bitfield {
      4   int n : 3 = 7; // expected-error {{bitfield member cannot have an in-class initializer}}
      5 };
      6 
      7 int a;
      8 class NoWarning {
      9   int &n = a;
     10 public:
     11   int &GetN() { return n; }
     12 };
     13 
     14 bool b();
     15 int k;
     16 struct Recurse {
     17   int &n = b() ? Recurse().n : k; // expected-error {{defaulted default constructor of 'Recurse' cannot be used by non-static data member initializer which appears before end of class definition}}
     18 };
     19 
     20 struct UnknownBound {
     21   int as[] = { 1, 2, 3 }; // expected-error {{array bound cannot be deduced from an in-class initializer}}
     22   int bs[4] = { 4, 5, 6, 7 };
     23   int cs[] = { 8, 9, 10 }; // expected-error {{array bound cannot be deduced from an in-class initializer}}
     24 };
     25 
     26 template<int n> struct T { static const int B; };
     27 template<> struct T<2> { template<int C, int D> using B = int; };
     28 const int C = 0, D = 0;
     29 struct S {
     30   int as[] = { decltype(x)::B<C, D>(0) }; // expected-error {{array bound cannot be deduced from an in-class initializer}}
     31   T<sizeof(as) / sizeof(int)> x;
     32   // test that we handle invalid array bound deductions without crashing when the declarator name is itself invalid
     33   operator int[](){}; // expected-error {{'operator int' cannot be the name of a variable or data member}} \
     34                       // expected-error {{array bound cannot be deduced from an in-class initializer}}
     35 };
     36 
     37 struct ThrowCtor { ThrowCtor(int) noexcept(false); };
     38 struct NoThrowCtor { NoThrowCtor(int) noexcept(true); };
     39 
     40 struct Throw { ThrowCtor tc = 42; };
     41 struct NoThrow { NoThrowCtor tc = 42; };
     42 
     43 static_assert(!noexcept(Throw()), "incorrect exception specification");
     44 static_assert(noexcept(NoThrow()), "incorrect exception specification");
     45 
     46 struct CheckExcSpec {
     47   CheckExcSpec() noexcept(true) = default;
     48   int n = 0;
     49 };
     50 struct CheckExcSpecFail {
     51   CheckExcSpecFail() noexcept(true) = default; // expected-error {{exception specification of explicitly defaulted default constructor does not match the calculated one}}
     52   ThrowCtor tc = 123;
     53 };
     54 
     55 struct TypedefInit {
     56   typedef int A = 0; // expected-error {{illegal initializer}}
     57 };
     58 
     59 // PR10578 / <rdar://problem/9877267>
     60 namespace PR10578 {
     61   template<typename T>
     62   struct X {
     63     X() {
     64       T* x = 1; // expected-error{{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}}
     65     }
     66   };
     67 
     68   struct Y : X<int> {
     69     Y();
     70   };
     71 
     72   Y::Y() try { // expected-note{{in instantiation of member function 'PR10578::X<int>::X' requested here}}
     73   } catch(...) {
     74   }
     75 }
     76 
     77 namespace PR14838 {
     78   struct base { ~base() {} };
     79   class function : base {
     80     ~function() {} // expected-note {{implicitly declared private here}}
     81   public:
     82     function(...) {}
     83   };
     84   struct thing {};
     85   struct another {
     86     another() : r(thing()) {}
     87     // expected-error@-1 {{temporary of type 'const PR14838::function' has private destructor}}
     88     // expected-warning@-2 {{binding reference member 'r' to a temporary value}}
     89     const function &r; // expected-note {{reference member declared here}}
     90   } af;
     91 }
     92 
     93 namespace rdar14084171 {
     94   struct Point { // expected-note 3 {{candidate constructor}}
     95     double x;
     96     double y;
     97   };
     98   struct Sprite {
     99     Point location = Point(0,0); // expected-error {{no matching constructor for initialization of 'rdar14084171::Point'}}
    100   };
    101   void f(Sprite& x) { x = x; }
    102 }
    103