instantiate-expr-1.cpp revision dc81c880cad01f01888632d28345077336ca06a4
1// RUN: %clang_cc1 -fsyntax-only -verify %s 2template<int I, int J> 3struct Bitfields { 4 int simple : I; // expected-error{{bit-field 'simple' has zero width}} 5 int parens : (J); 6}; 7 8void test_Bitfields(Bitfields<0, 5> *b) { 9 (void)sizeof(Bitfields<10, 5>); 10 (void)sizeof(Bitfields<0, 1>); // expected-note{{in instantiation of template class 'struct Bitfields<0, 1>' requested here}} 11} 12 13template<int I, int J> 14struct BitfieldPlus { 15 int bitfield : I + J; // expected-error{{bit-field 'bitfield' has zero width}} 16}; 17 18void test_BitfieldPlus() { 19 (void)sizeof(BitfieldPlus<0, 1>); 20 (void)sizeof(BitfieldPlus<-5, 5>); // expected-note{{in instantiation of template class 'struct BitfieldPlus<-5, 5>' requested here}} 21} 22 23template<int I, int J> 24struct BitfieldMinus { 25 int bitfield : I - J; // expected-error{{bit-field 'bitfield' has negative width (-1)}} \ 26 // expected-error{{bit-field 'bitfield' has zero width}} 27}; 28 29void test_BitfieldMinus() { 30 (void)sizeof(BitfieldMinus<5, 1>); 31 (void)sizeof(BitfieldMinus<0, 1>); // expected-note{{in instantiation of template class 'struct BitfieldMinus<0, 1>' requested here}} 32 (void)sizeof(BitfieldMinus<5, 5>); // expected-note{{in instantiation of template class 'struct BitfieldMinus<5, 5>' requested here}} 33} 34 35template<int I, int J> 36struct BitfieldDivide { 37 int bitfield : I / J; // expected-error{{expression is not an integer constant expression}} \ 38 // expected-note{{division by zero}} 39}; 40 41void test_BitfieldDivide() { 42 (void)sizeof(BitfieldDivide<5, 1>); 43 (void)sizeof(BitfieldDivide<5, 0>); // expected-note{{in instantiation of template class 'struct BitfieldDivide<5, 0>' requested here}} 44} 45 46template<typename T, T I, int J> 47struct BitfieldDep { 48 int bitfield : I + J; 49}; 50 51void test_BitfieldDep() { 52 (void)sizeof(BitfieldDep<int, 1, 5>); 53} 54 55template<int I> 56struct BitfieldNeg { 57 int bitfield : (-I); // expected-error{{bit-field 'bitfield' has negative width (-5)}} 58}; 59 60template<typename T, T I> 61struct BitfieldNeg2 { 62 int bitfield : (-I); // expected-error{{bit-field 'bitfield' has negative width (-5)}} 63}; 64 65void test_BitfieldNeg() { 66 (void)sizeof(BitfieldNeg<-5>); // okay 67 (void)sizeof(BitfieldNeg<5>); // expected-note{{in instantiation of template class 'struct BitfieldNeg<5>' requested here}} 68 (void)sizeof(BitfieldNeg2<int, -5>); // okay 69 (void)sizeof(BitfieldNeg2<int, 5>); // expected-note{{in instantiation of template class 'struct BitfieldNeg2<int, 5>' requested here}} 70} 71 72template<typename T> 73void increment(T &x) { 74 (void)++x; 75} 76 77struct Incrementable { 78 Incrementable &operator++(); 79}; 80 81void test_increment(Incrementable inc) { 82 increment(inc); 83} 84 85template<typename T> 86void add(const T &x) { 87 (void)(x + x); 88} 89 90namespace PR6237 { 91 template <typename T> 92 void f(T t) { 93 t++; 94 } 95 96 struct B { }; 97 B operator++(B &, int); 98 99 template void f(B); 100} 101 102struct Addable { 103 Addable operator+(const Addable&) const; 104}; 105 106void test_add(Addable &a) { 107 add(a); 108} 109 110struct CallOperator { 111 int &operator()(int); 112 double &operator()(double); 113}; 114 115template<typename Result, typename F, typename Arg1> 116Result test_call_operator(F f, Arg1 arg1) { 117 // PR5266: non-dependent invocations of a function call operator. 118 CallOperator call_op; 119 int &ir = call_op(17); 120 return f(arg1); 121} 122 123void test_call_operator(CallOperator call_op, int i, double d) { 124 int &ir = test_call_operator<int&>(call_op, i); 125 double &dr = test_call_operator<double&>(call_op, d); 126} 127 128template<typename T> 129void test_asm(T t) { 130 asm ("nop" : "=a"(*t) : "r"(*t)); // expected-error {{indirection requires pointer operand ('int' invalid)}} 131} 132 133void test_asm() { 134 int* a; 135 test_asm(a); 136 137 int b; 138 test_asm(b); // expected-note {{in instantiation of function template specialization 'test_asm<int>' requested here}} 139} 140