149 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -verify %s2 3// ---------------------------------------------------------------------4// Imaginary literals5// ---------------------------------------------------------------------6template<typename T>7struct ImaginaryLiteral0 {8 void f(T &x) {9 x = 3.0I; // expected-error{{incompatible type}}10 }11};12 13template struct ImaginaryLiteral0<_Complex float>;14template struct ImaginaryLiteral0<int*>; // expected-note{{instantiation}}15 16// ---------------------------------------------------------------------17// Compound assignment operator18// ---------------------------------------------------------------------19namespace N1 {20 struct X { };21 22 int& operator+=(X&, int); // expected-note{{candidate}}23}24 25namespace N2 {26 long& operator+=(N1::X&, long);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 36namespace N3 {37 struct Y : public N1::X {38 short& operator+=(long); // expected-note{{candidate}}39 };40}41 42template struct N2::PlusEquals0<N1::X, int, int&>;43template struct N2::PlusEquals0<N1::X, long, long&>;44template struct N2::PlusEquals0<N3::Y, long, short&>;45template struct N2::PlusEquals0<int, int, int&>;46template struct N2::PlusEquals0<N3::Y, int, short&>; // expected-note{{instantiation}}47 48// ---------------------------------------------------------------------49// Conditional operator50// ---------------------------------------------------------------------51template<typename T, typename U, typename Result>52struct Conditional0 {53 void f(T t, U u) {54 Result result = t? : u;55 }56};57 58template struct Conditional0<int, int, int>;59 60// ---------------------------------------------------------------------61// Statement expressions62// ---------------------------------------------------------------------63template<typename T>64struct StatementExpr0 {65 void f(T t) {66 (void)({67 if (t) // expected-error{{contextually convertible}}68 t = t + 17; // expected-error {{invalid operands to binary expression ('N1::X' and 'int')}}69 t + 12; // expected-error{{invalid operands}}70 });71 }72};73 74template struct StatementExpr0<int>;75template struct StatementExpr0<N1::X>; // expected-note{{instantiation}}76 77// ---------------------------------------------------------------------78// __builtin_choose_expr79// ---------------------------------------------------------------------80template<bool Cond, typename T, typename U, typename Result>81struct Choose0 {82 void f(T t, U u) {83 Result r = __builtin_choose_expr(Cond, t, u); // expected-error{{lvalue}}84 }85};86 87template struct Choose0<true, int, float, int&>;88template struct Choose0<false, int, float, float&>;89template struct Choose0<true, int, float, float&>; // expected-note{{instantiation}}90 91// ---------------------------------------------------------------------92// __builtin_va_arg93// ---------------------------------------------------------------------94template<typename ArgType>95struct 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 105template struct VaArg0<int>;106 107template<typename VaList, typename ArgType>108struct VaArg1 {109 void f(int n, ...) {110 VaList va;111 __builtin_va_start(va, n); // expected-error{{int}} expected-error{{char *}}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}} expected-error{{char *}}115 }116};117 118template struct VaArg1<__builtin_va_list, int>;119template struct VaArg1<__builtin_ms_va_list, int>; // expected-note{{instantiation}}120template struct VaArg1<int, int>; // expected-note{{instantiation}}121 122template<typename ArgType>123struct VaArg2 {124 void __attribute__((ms_abi)) f(int n, ...) {125 __builtin_ms_va_list va;126 __builtin_ms_va_start(va, n);127 for (int i = 0; i != n; ++i)128 (void)__builtin_va_arg(va, ArgType);129 __builtin_ms_va_end(va);130 }131};132 133template struct VaArg2<int>;134 135template<typename VaList, typename ArgType>136struct VaArg3 {137 void __attribute__((ms_abi)) f(int n, ...) {138 VaList va;139 __builtin_ms_va_start(va, n); // expected-error{{int}} expected-error{{__va_list_tag}}140 for (int i = 0; i != n; ++i)141 (void)__builtin_va_arg(va, ArgType); // expected-error{{int}}142 __builtin_ms_va_end(va); // expected-error{{int}} expected-error{{__va_list_tag}}143 }144};145 146template struct VaArg3<__builtin_ms_va_list, int>;147template struct VaArg3<__builtin_va_list, int>; // expected-note{{instantiation}}148template struct VaArg3<int, int>; // expected-note{{instantiation}}149