| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
|---|
| 2 | |
|---|
| 3 | void test() { |
|---|
| 4 | int x; |
|---|
| 5 | if (x) ++x; |
|---|
| 6 | if (int x=0) ++x; |
|---|
| 7 | |
|---|
| 8 | typedef int arr[10]; |
|---|
| 9 | while (arr x={0}) ; // expected-error {{an array type is not allowed here}} |
|---|
| 10 | while (int f()=0) ; // expected-error {{a function type is not allowed here}} |
|---|
| 11 | |
|---|
| 12 | struct S {} s; |
|---|
| 13 | if (s) ++x; // expected-error {{value of type 'struct S' is not contextually convertible to 'bool'}} |
|---|
| 14 | while (struct S x=s) ; // expected-error {{value of type 'struct S' is not contextually convertible to 'bool'}} |
|---|
| 15 | do ; while (s); // expected-error {{value of type 'struct S' is not contextually convertible to 'bool'}} |
|---|
| 16 | for (;s;) ; // expected-error {{value of type 'struct S' is not contextually convertible to 'bool'}} |
|---|
| 17 | switch (s) {} // expected-error {{statement requires expression of integer type ('struct S' invalid)}} |
|---|
| 18 | |
|---|
| 19 | while (struct NewS *x=0) ; |
|---|
| 20 | while (struct S {} *x=0) ; // expected-error {{'S' cannot be defined in a condition}} |
|---|
| 21 | while (struct {} *x=0) ; // expected-error-re {{'(anonymous struct at {{.*}})' cannot be defined in a condition}} |
|---|
| 22 | switch (enum {E} x=0) ; // expected-error-re {{'(anonymous enum at {{.*}})' cannot be defined in a condition}} |
|---|
| 23 | |
|---|
| 24 | if (int x=0) { // expected-note 2 {{previous definition is here}} |
|---|
| 25 | int x; // expected-error {{redefinition of 'x'}} |
|---|
| 26 | } |
|---|
| 27 | else |
|---|
| 28 | int x; // expected-error {{redefinition of 'x'}} |
|---|
| 29 | while (int x=0) int x; // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 30 | while (int x=0) { int x; } // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 31 | for (int x; int x=0; ) ; // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 32 | for (int x; ; ) int x; // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 33 | for (; int x=0; ) int x; // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 34 | for (; int x=0; ) { int x; } // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 35 | switch (int x=0) { default: int x; } // expected-error {{redefinition of 'x'}} expected-note {{previous definition is here}} |
|---|
| 36 | } |
|---|
| 37 | |
|---|
| 38 | int* get_int_ptr(); |
|---|
| 39 | |
|---|
| 40 | void test2() { |
|---|
| 41 | float *ip; |
|---|
| 42 | if (int *ip = ip) { |
|---|
| 43 | } |
|---|
| 44 | } |
|---|
| 45 | |
|---|
| 46 | // Make sure we do function/array decay. |
|---|
| 47 | void test3() { |
|---|
| 48 | if ("help") |
|---|
| 49 | (void) 0; |
|---|
| 50 | |
|---|
| 51 | if (test3) // expected-warning {{address of function 'test3' will always evaluate to 'true'}} \ |
|---|
| 52 | expected-note {{prefix with the address-of operator to silence this warning}} |
|---|
| 53 | (void) 0; |
|---|
| 54 | } |
|---|
| 55 | |
|---|
| 56 | void test4(bool (&x)(void)) { |
|---|
| 57 | while (x); |
|---|
| 58 | } |
|---|
| 59 | |
|---|
| 60 | template <class> |
|---|
| 61 | void test5() { |
|---|
| 62 | if (struct S {}* p = 0) // expected-error {{'S' cannot be defined in a condition}} |
|---|
| 63 | ; |
|---|
| 64 | } |
|---|
| 65 | void test5_inst() { |
|---|
| 66 | test5<int>(); |
|---|
| 67 | } |
|---|
| 68 | |
|---|
| 69 | void PR28373() { |
|---|
| 70 | if (!x) {} // expected-error {{undeclared}} |
|---|
| 71 | } |
|---|
| 72 | |
|---|