test/SemaTemplate/instantiate-c99.cpp

   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 {
  10   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 {
  45   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 {
  61   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 {
  76   T f(Arg1 a1, Arg2 a2) {
  77     return (T){a1, a2};
  78   }
  79 };
  80
  81 template struct CompoundLiteral0<Point2D, int, float>;