instantiate-c99.cpp
2.76 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
// RUN: %clang_cc1 -Wno-c99-extensions -Wno-reorder -fsyntax-only -verify %s
// RUN: %clang_cc1 -Wno-c99-extensions -Wno-reorder -fsyntax-only -verify -std=c++98 %s
// RUN: %clang_cc1 -Wno-c99-extensions -Wno-reorder -fsyntax-only -verify -std=c++11 %s
// Test template instantiation for C99-specific features.
// ---------------------------------------------------------------------
// Designated initializers
// ---------------------------------------------------------------------
template<typename T, typename XType, typename YType>
struct DesigInit0 {
void f(XType x, YType y) {
T agg = {
#if __cplusplus <= 199711L
.y = y, // expected-error{{does not refer}}
.x = x // expected-error{{does not refer}}
#else
.y = static_cast<float>(y), // expected-error{{does not refer}}
.x = static_cast<float>(x) // expected-error{{does not refer}}
#endif
};
}
};
struct Point2D {
float x, y;
};
template struct DesigInit0<Point2D, int, double>;
struct Point3D {
float x, y, z;
};
template struct DesigInit0<Point3D, int, double>;
struct Color {
unsigned char red, green, blue;
};
struct ColorPoint3D {
Color color;
float x, y, z;
};
template struct DesigInit0<ColorPoint3D, int, double>;
template struct DesigInit0<Color, int, double>; // expected-note{{instantiation}}
template<typename T, int Subscript1, int Subscript2,
typename Val1, typename Val2>
struct DesigArrayInit0 {
void f(Val1 val1, Val2 val2) {
T array = {
#if __cplusplus <= 199711L
[Subscript1] = val1,
#else
[Subscript1] = static_cast<int>(val1),
#endif
[Subscript2] = val2 // expected-error{{exceeds array bounds}}
};
int array2[10] = { [5] = 3 };
}
};
template struct DesigArrayInit0<int[8], 5, 3, float, int>;
template struct DesigArrayInit0<int[8], 5, 13, float, int>; // expected-note{{instantiation}}
template<typename T, int Subscript1, int Subscript2,
typename Val1>
struct DesigArrayRangeInit0 {
void f(Val1 val1) {
T array = {
#if __cplusplus <= 199711L
[Subscript1...Subscript2] = val1 // expected-error{{exceeds}}
#else
[Subscript1...Subscript2] = static_cast<int>(val1) // expected-error{{exceeds}}
#endif
};
}
};
template struct DesigArrayRangeInit0<int[8], 3, 5, float>;
template struct DesigArrayRangeInit0<int[8], 5, 13, float>; // expected-note{{instantiation}}
// ---------------------------------------------------------------------
// Compound literals
// ---------------------------------------------------------------------
template<typename T, typename Arg1, typename Arg2>
struct CompoundLiteral0 {
T f(Arg1 a1, Arg2 a2) {
#if __cplusplus <= 199711L
return (T){a1, a2};
#else
return (T){static_cast<float>(a1), a2};
#endif
}
};
template struct CompoundLiteral0<Point2D, int, float>;