1// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
2
3struct one { char c[1]; };
4struct two { char c[2]; };
5
6namespace std {
7  typedef decltype(sizeof(int)) size_t;
8
9  // libc++'s implementation
10  template <class _E>
11  class initializer_list
12  {
13    const _E* __begin_;
14    size_t    __size_;
15
16    initializer_list(const _E* __b, size_t __s)
17      : __begin_(__b),
18        __size_(__s)
19    {}
20
21  public:
22    typedef _E        value_type;
23    typedef const _E& reference;
24    typedef const _E& const_reference;
25    typedef size_t    size_type;
26
27    typedef const _E* iterator;
28    typedef const _E* const_iterator;
29
30    initializer_list() : __begin_(nullptr), __size_(0) {}
31
32    size_t    size()  const {return __size_;}
33    const _E* begin() const {return __begin_;}
34    const _E* end()   const {return __begin_ + __size_;}
35  };
36}
37
38namespace objects {
39
40  struct X1 { X1(int); };
41  struct X2 { explicit X2(int); }; // expected-note {{constructor declared here}}
42
43  template <int N>
44  struct A {
45    A() { static_assert(N == 0, ""); }
46    A(int, double) { static_assert(N == 1, ""); }
47  };
48
49  template <int N>
50  struct F {
51    F() { static_assert(N == 0, ""); }
52    F(int, double) { static_assert(N == 1, ""); }
53    F(std::initializer_list<int>) { static_assert(N == 3, ""); }
54  };
55
56  template <int N>
57  struct D {
58    D(std::initializer_list<int>) { static_assert(N == 0, ""); } // expected-note 1 {{candidate}}
59    D(std::initializer_list<double>) { static_assert(N == 1, ""); } // expected-note 1 {{candidate}}
60  };
61
62  template <int N>
63  struct E {
64    E(int, int) { static_assert(N == 0, ""); }
65    E(X1, int) { static_assert(N == 1, ""); }
66  };
67
68  void overload_resolution() {
69    { A<0> a{}; }
70    { A<0> a = {}; }
71    { A<1> a{1, 1.0}; }
72    { A<1> a = {1, 1.0}; }
73
74    { F<0> f{}; }
75    { F<0> f = {}; }
76    // Narrowing conversions don't affect viability. The next two choose
77    // the initializer_list constructor.
78    { F<3> f{1, 1.0}; } // expected-error {{type 'double' cannot be narrowed to 'int' in initializer list}} expected-note {{override}}
79    { F<3> f = {1, 1.0}; } // expected-error {{type 'double' cannot be narrowed to 'int' in initializer list}} expected-note {{override}}
80    { F<3> f{1, 2, 3, 4, 5, 6, 7, 8}; }
81    { F<3> f = {1, 2, 3, 4, 5, 6, 7, 8}; }
82    { F<3> f{1, 2, 3, 4, 5, 6, 7, 8}; }
83    { F<3> f{1, 2}; }
84
85    { D<0> d{1, 2, 3}; }
86    { D<1> d{1.0, 2.0, 3.0}; }
87    { D<-1> d{1, 2.0}; } // expected-error {{ambiguous}}
88
89    { E<0> e{1, 2}; }
90  }
91
92  void explicit_implicit() {
93    { X1 x{0}; }
94    { X1 x = {0}; }
95    { X2 x{0}; }
96    { X2 x = {0}; } // expected-error {{constructor is explicit}}
97  }
98
99  struct C {
100    C();
101    C(int, double);
102    C(int, int);
103
104    int operator[](C);
105  };
106
107  C function_call() {
108    void takes_C(C);
109    takes_C({1, 1.0});
110
111    C c;
112    c[{1, 1.0}];
113
114    return {1, 1.0};
115  }
116
117  void inline_init() {
118    (void) C{1, 1.0};
119    (void) new C{1, 1.0};
120    (void) A<1>{1, 1.0};
121    (void) new A<1>{1, 1.0};
122  }
123
124  struct B { // expected-note 2 {{candidate constructor}}
125    B(C, int, C); // expected-note {{candidate constructor not viable: cannot convert initializer list argument to 'objects::C'}}
126  };
127
128  void nested_init() {
129    B b1{{1, 1.0}, 2, {3, 4}};
130    B b2{{1, 1.0, 4}, 2, {3, 4}}; // expected-error {{no matching constructor for initialization of 'objects::B'}}
131  }
132
133  void overloaded_call() {
134    one ov1(B); // expected-note {{not viable: cannot convert initializer list}}
135    two ov1(C); // expected-note {{not viable: cannot convert initializer list}}
136
137    static_assert(sizeof(ov1({})) == sizeof(two), "bad overload");
138    static_assert(sizeof(ov1({1, 2})) == sizeof(two), "bad overload");
139    static_assert(sizeof(ov1({{1, 1.0}, 2, {3, 4}})) == sizeof(one), "bad overload");
140
141    ov1({1}); // expected-error {{no matching function}}
142
143    one ov2(int);
144    two ov2(F<3>);
145    static_assert(sizeof(ov2({1})) == sizeof(one), "bad overload"); // list -> int ranks as identity
146    static_assert(sizeof(ov2({1, 2, 3})) == sizeof(two), "bad overload"); // list -> F only viable
147  }
148
149  struct G { // expected-note 6 {{not viable}}
150    // This is not an initializer-list constructor.
151    template<typename ...T>
152    G(std::initializer_list<int>, T ...);  // expected-note 3 {{not viable}}
153  };
154
155  struct H { // expected-note 6 {{not viable}}
156    explicit H(int, int); // expected-note 3 {{not viable}} expected-note {{declared here}}
157    H(int, void*); // expected-note 3 {{not viable}}
158  };
159
160  void edge_cases() {
161    // invalid (the first phase only considers init-list ctors)
162    // (for the second phase, no constructor is viable)
163    G g1{1, 2, 3}; // expected-error {{no matching constructor}}
164    (void) new G{1, 2, 3}; // expected-error {{no matching constructor}}
165    (void) G{1, 2, 3} // expected-error {{no matching constructor}}
166
167    // valid (T deduced to <>).
168    G g2({1, 2, 3});
169    (void) new G({1, 2, 3});
170    (void) G({1, 2, 3});
171
172    // invalid
173    H h1({1, 2}); // expected-error {{no matching constructor}}
174    (void) new H({1, 2}); // expected-error {{no matching constructor}}
175    // FIXME: Bad diagnostic, mentions void type instead of init list.
176    (void) H({1, 2}); // expected-error {{no matching conversion}}
177
178    // valid (by copy constructor).
179    H h2({1, nullptr});
180    (void) new H({1, nullptr});
181    (void) H({1, nullptr});
182
183    // valid
184    H h3{1, 2};
185    (void) new H{1, 2};
186    (void) H{1, 2};
187  }
188
189  struct memberinit {
190    H h1{1, nullptr};
191    H h2 = {1, nullptr};
192    H h3{1, 1};
193    H h4 = {1, 1}; // expected-error {{constructor is explicit}}
194  };
195}
196
197namespace PR12092 {
198
199  struct S {
200    S(const char*);
201  };
202  struct V {
203    template<typename T> V(T, T);
204    void f(std::initializer_list<S>);
205    void f(const V &);
206  };
207
208  void g() {
209    extern V s;
210    s.f({"foo", "bar"});
211  }
212
213}
214
215namespace PR12117 {
216  struct A { A(int); };
217  struct B { B(A); } b{{0}};
218  struct C { C(int); } c{0};
219}
220
221namespace PR12167 {
222  template<int N> struct string {};
223
224  struct X {
225    X(const char v);
226    template<typename T> bool operator()(T) const;
227  };
228
229  template<int N, class Comparator> bool g(const string<N>& s, Comparator cmp) {
230    return cmp(s);
231  }
232  template<int N> bool f(const string<N> &s) {
233    return g(s, X{'x'});
234  }
235
236  bool s = f(string<1>());
237}
238
239namespace PR12257_PR12241 {
240  struct command_pair
241  {
242    command_pair(int, int);
243  };
244
245  struct command_map
246  {
247    command_map(std::initializer_list<command_pair>);
248  };
249
250  struct generator_pair
251  {
252    generator_pair(const command_map);
253  };
254
255  // 5 levels: init list, gen_pair, command_map, init list, command_pair
256  const std::initializer_list<generator_pair> x = {{{{{3, 4}}}}};
257
258  // 4 levels: init list, gen_pair, command_map via init list, command_pair
259  const std::initializer_list<generator_pair> y = {{{{1, 2}}}};
260}
261
262namespace PR12120 {
263  struct A { explicit A(int); A(float); }; // expected-note {{declared here}}
264  A a = { 0 }; // expected-error {{constructor is explicit}}
265
266  struct B { explicit B(short); B(long); }; // expected-note 2 {{candidate}}
267  B b = { 0 }; // expected-error {{ambiguous}}
268}
269
270namespace PR12498 {
271  class ArrayRef; // expected-note{{forward declaration}}
272
273  struct C {
274    void foo(const ArrayRef&); // expected-note{{passing argument to parameter here}}
275  };
276
277  static void bar(C* c)
278  {
279    c->foo({ nullptr, 1 }); // expected-error{{initialization of incomplete type 'const PR12498::ArrayRef'}}
280  }
281}
282
283namespace explicit_default {
284  struct A {
285    explicit A(); // expected-note{{here}}
286  };
287  A a {}; // ok
288  // This is copy-list-initialization, and we choose an explicit constructor
289  // (even though we do so via value-initialization), so the initialization is
290  // ill-formed.
291  A b = {}; // expected-error{{chosen constructor is explicit}}
292}
293
294namespace init_list_default {
295  struct A {
296    A(std::initializer_list<int>);
297  };
298  A a {}; // calls initializer list constructor
299
300  struct B {
301    B();
302    B(std::initializer_list<int>) = delete;
303  };
304  B b {}; // calls default constructor
305}
306
307
308// PR13470, <rdar://problem/11974632>
309namespace PR13470 {
310  struct W {
311    explicit W(int); // expected-note {{here}}
312  };
313
314  struct X {
315    X(const X&) = delete; // expected-note 3 {{here}}
316    X(int);
317  };
318
319  template<typename T, typename Fn> void call(Fn f) {
320    f({1}); // expected-error {{constructor is explicit}}
321    f(T{1}); // expected-error {{call to deleted constructor}}
322  }
323
324  void ref_w(const W &); // expected-note 2 {{not viable}}
325  void call_ref_w() {
326    ref_w({1}); // expected-error {{no matching function}}
327    ref_w(W{1});
328    call<W>(ref_w); // expected-note {{instantiation of}}
329  }
330
331  void ref_x(const X &);
332  void call_ref_x() {
333    ref_x({1});
334    ref_x(X{1});
335    call<X>(ref_x); // ok
336  }
337
338  void val_x(X); // expected-note 2 {{parameter}}
339  void call_val_x() {
340    val_x({1});
341    val_x(X{1}); // expected-error {{call to deleted constructor}}
342    call<X>(val_x); // expected-note {{instantiation of}}
343  }
344
345  template<typename T>
346  struct Y {
347    X x{1};
348    void f() { X x{1}; }
349    void h() {
350      ref_w({1}); // expected-error {{no matching function}}
351      ref_w(W{1});
352      ref_x({1});
353      ref_x(X{1});
354      val_x({1});
355      val_x(X{1}); // expected-error {{call to deleted constructor}}
356    }
357    Y() {}
358    Y(int) : x{1} {}
359  };
360
361  Y<int> yi;
362  Y<int> yi2(0);
363  void g() {
364    yi.f();
365    yi.h(); // ok, all diagnostics produced in template definition
366  }
367}
368