aggregate-initialization.cpp revision 12ce0a085f89f07c76bf034aa6b838ef50542241 
1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x %s
2
3// Verify that we can't initialize non-aggregates with an initializer
4// list.
5// FIXME: Note that due to a (likely) standard bug, this is technically an
6//        aggregate.
7struct NonAggr1 {
8  NonAggr1(int) { }
9
10  int m;
11};
12
13struct Base { };
14struct NonAggr2 : public Base {
15  int m;
16};
17
18class NonAggr3 {
19  int m;
20};
21
22struct NonAggr4 {
23  int m;
24  virtual void f();
25};
26
27NonAggr1 na1 = { 17 };
28NonAggr2 na2 = { 17 }; // expected-error{{non-aggregate type 'NonAggr2' cannot be initialized with an initializer list}}
29NonAggr3 na3 = { 17 }; // expected-error{{non-aggregate type 'NonAggr3' cannot be initialized with an initializer list}}
30NonAggr4 na4 = { 17 }; // expected-error{{non-aggregate type 'NonAggr4' cannot be initialized with an initializer list}}
31
32// PR5817
33typedef int type[][2];
34const type foo = {0};
35
36// Vector initialization.
37typedef short __v4hi __attribute__ ((__vector_size__ (8)));
38__v4hi v1 = { (void *)1, 2, 3 }; // expected-error {{cannot initialize a vector element of type 'short' with an rvalue of type 'void *'}}
39
40// Array initialization.
41int a[] = { (void *)1 }; // expected-error {{cannot initialize an array element of type 'int' with an rvalue of type 'void *'}}
42
43// Struct initialization.
44struct S { int a; } s = { (void *)1 }; // expected-error {{cannot initialize a member subobject of type 'int' with an rvalue of type 'void *'}}
45
46// Check that we're copy-initializing the structs.
47struct A {
48  A();
49  A(int);
50  ~A();
51
52  A(const A&) = delete; // expected-note 2 {{function has been explicitly marked deleted here}}
53};
54
55struct B {
56  A a;
57};
58
59struct C {
60  const A& a;
61};
62
63void f() {
64  A as1[1] = { };
65  A as2[1] = { 1 }; // expected-error {{copying array element of type 'A' invokes deleted constructor}}
66
67  B b1 = { };
68  B b2 = { 1 }; // expected-error {{copying member subobject of type 'A' invokes deleted constructor}}
69
70  C c1 = { 1 };
71}
72
73class Agg {
74public:
75  int i, j;
76};
77
78class AggAgg {
79public:
80  Agg agg1;
81  Agg agg2;
82};
83
84AggAgg aggagg = { 1, 2, 3, 4 };
85