| // 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>; |