1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 // --------------------------------------------------------------------- 4 // Imaginary literals 5 // --------------------------------------------------------------------- 6 template<typename T> 7 struct ImaginaryLiteral0 { 8 void f(T &x) { 9 x = 3.0I; // expected-error{{incompatible type}} 10 } 11 }; 12 13 template struct ImaginaryLiteral0<_Complex float>; 14 template struct ImaginaryLiteral0<int*>; // expected-note{{instantiation}} 15 16 // --------------------------------------------------------------------- 17 // Compound assignment operator 18 // --------------------------------------------------------------------- 19 namespace N1 { 20 struct X { }; 21 22 int& operator+=(X&, int); // expected-note{{candidate}} 23 } 24 25 namespace N2 { 26 long& operator+=(N1::X&, long); // expected-note{{candidate}} 27 28 template<typename T, typename U, typename Result> 29 struct PlusEquals0 { 30 void f(T t, U u) { 31 Result r = t += u; // expected-error{{ambiguous}} 32 } 33 }; 34 } 35 36 namespace N3 { 37 struct Y : public N1::X { 38 short& operator+=(long); // expected-note{{candidate}} 39 }; 40 } 41 42 template struct N2::PlusEquals0<N1::X, int, int&>; 43 template struct N2::PlusEquals0<N1::X, long, long&>; 44 template struct N2::PlusEquals0<N3::Y, long, short&>; 45 template struct N2::PlusEquals0<int, int, int&>; 46 template struct N2::PlusEquals0<N3::Y, int, short&>; // expected-note{{instantiation}} 47 48 // --------------------------------------------------------------------- 49 // Conditional operator 50 // --------------------------------------------------------------------- 51 template<typename T, typename U, typename Result> 52 struct Conditional0 { 53 void f(T t, U u) { 54 Result result = t? : u; 55 } 56 }; 57 58 template struct Conditional0<int, int, int>; 59 60 // --------------------------------------------------------------------- 61 // Statement expressions 62 // --------------------------------------------------------------------- 63 template<typename T> 64 struct StatementExpr0 { 65 void f(T t) { 66 (void)({ 67 if (t) // expected-error{{contextually convertible}} 68 t = t + 17; 69 t + 12; // expected-error{{invalid operands}} 70 }); 71 } 72 }; 73 74 template struct StatementExpr0<int>; 75 template struct StatementExpr0<N1::X>; // expected-note{{instantiation}} 76 77 // --------------------------------------------------------------------- 78 // __builtin_choose_expr 79 // --------------------------------------------------------------------- 80 template<bool Cond, typename T, typename U, typename Result> 81 struct Choose0 { 82 void f(T t, U u) { 83 Result r = __builtin_choose_expr(Cond, t, u); // expected-error{{lvalue}} 84 } 85 }; 86 87 template struct Choose0<true, int, float, int&>; 88 template struct Choose0<false, int, float, float&>; 89 template struct Choose0<true, int, float, float&>; // expected-note{{instantiation}} 90 91 // --------------------------------------------------------------------- 92 // __builtin_va_arg 93 // --------------------------------------------------------------------- 94 template<typename ArgType> 95 struct VaArg0 { 96 void f(int n, ...) { 97 __builtin_va_list va; 98 __builtin_va_start(va, n); 99 for (int i = 0; i != n; ++i) 100 (void)__builtin_va_arg(va, ArgType); 101 __builtin_va_end(va); 102 } 103 }; 104 105 template struct VaArg0<int>; 106 107 template<typename VaList, typename ArgType> 108 struct VaArg1 { 109 void f(int n, ...) { 110 VaList va; 111 __builtin_va_start(va, n); // expected-error{{int}} 112 for (int i = 0; i != n; ++i) 113 (void)__builtin_va_arg(va, ArgType); // expected-error{{int}} 114 __builtin_va_end(va); // expected-error{{int}} 115 } 116 }; 117 118 template struct VaArg1<__builtin_va_list, int>; 119 template struct VaArg1<int, int>; // expected-note{{instantiation}} 120
