1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 // Test template instantiation for C99-specific features.
4 
5 // ---------------------------------------------------------------------
6 // Designated initializers
7 // ---------------------------------------------------------------------
8 template<typename T, typename XType, typename YType>
9 struct DesigInit0 {
fDesigInit010   void f(XType x, YType y) {
11     T agg = {
12       .y = y, // expected-error{{does not refer}}
13       .x = x  // expected-error{{does not refer}}
14     };
15   }
16 };
17 
18 struct Point2D {
19   float x, y;
20 };
21 
22 template struct DesigInit0<Point2D, int, double>;
23 
24 struct Point3D {
25   float x, y, z;
26 };
27 
28 template struct DesigInit0<Point3D, int, double>;
29 
30 struct Color {
31   unsigned char red, green, blue;
32 };
33 
34 struct ColorPoint3D {
35   Color color;
36   float x, y, z;
37 };
38 
39 template struct DesigInit0<ColorPoint3D, int, double>;
40 template struct DesigInit0<Color, int, double>; // expected-note{{instantiation}}
41 
42 template<typename T, int Subscript1, int Subscript2,
43          typename Val1, typename Val2>
44 struct DesigArrayInit0 {
fDesigArrayInit045   void f(Val1 val1, Val2 val2) {
46     T array = {
47       [Subscript1] = val1,
48       [Subscript2] = val2 // expected-error{{exceeds array bounds}}
49     };
50 
51     int array2[10] = { [5] = 3 };
52   }
53 };
54 
55 template struct DesigArrayInit0<int[8], 5, 3, float, int>;
56 template struct DesigArrayInit0<int[8], 5, 13, float, int>; // expected-note{{instantiation}}
57 
58 template<typename T, int Subscript1, int Subscript2,
59          typename Val1>
60 struct DesigArrayRangeInit0 {
fDesigArrayRangeInit061   void f(Val1 val1) {
62     T array = {
63       [Subscript1...Subscript2] = val1 // expected-error{{exceeds}}
64     };
65   }
66 };
67 
68 template struct DesigArrayRangeInit0<int[8], 3, 5, float>;
69 template struct DesigArrayRangeInit0<int[8], 5, 13, float>; // expected-note{{instantiation}}
70 
71 // ---------------------------------------------------------------------
72 // Compound literals
73 // ---------------------------------------------------------------------
74 template<typename T, typename Arg1, typename Arg2>
75 struct CompoundLiteral0 {
fCompoundLiteral076   T f(Arg1 a1, Arg2 a2) {
77     return (T){a1, a2};
78   }
79 };
80 
81 template struct CompoundLiteral0<Point2D, int, float>;
82