Richard Smith | dc7a4f5 | 2013-04-30 13:56:41 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 2 | |
| 3 | void test() { |
Argyrios Kyrtzidis | 4c0f56b | 2008-09-10 23:34:50 +0000 | [diff] [blame] | 4 | int x; |
| 5 | if (x) ++x; |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 6 | if (int x=0) ++x; |
| 7 | |
| 8 | typedef int arr[10]; |
Richard Smith | dc7a4f5 | 2013-04-30 13:56:41 +0000 | [diff] [blame] | 9 | while (arr x={0}) ; // expected-error {{an array type is not allowed here}} |
Richard Smith | b9c6261 | 2012-07-30 21:30:52 +0000 | [diff] [blame] | 10 | while (int f()=0) ; // expected-error {{a function type is not allowed here}} |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 11 | |
| 12 | struct S {} s; |
Douglas Gregor | 09f41cf | 2009-01-14 15:45:31 +0000 | [diff] [blame] | 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'}} |
Chris Lattner | 5f4a682 | 2008-11-23 23:12:31 +0000 | [diff] [blame] | 17 | switch (s) {} // expected-error {{statement requires expression of integer type ('struct S' invalid)}} |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 18 | |
Argyrios Kyrtzidis | db7abf7 | 2011-06-28 03:01:12 +0000 | [diff] [blame] | 19 | while (struct NewS *x=0) ; |
Argyrios Kyrtzidis | 2ba68b2 | 2011-06-28 03:01:09 +0000 | [diff] [blame] | 20 | while (struct S {} *x=0) ; // expected-error {{types may not be defined in conditions}} |
| 21 | while (struct {} *x=0) ; // expected-error {{types may not be defined in conditions}} |
Richard Smith | dc7a4f5 | 2013-04-30 13:56:41 +0000 | [diff] [blame] | 22 | switch (enum {E} x=0) ; // expected-error {{types may not be defined in conditions}} |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 23 | |
Sebastian Redl | 3cb0692 | 2009-02-07 19:52:04 +0000 | [diff] [blame] | 24 | if (int x=0) { // expected-note 2 {{previous definition is here}} |
Chris Lattner | 5f4a682 | 2008-11-23 23:12:31 +0000 | [diff] [blame] | 25 | int x; // expected-error {{redefinition of 'x'}} |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 26 | } |
| 27 | else |
Chris Lattner | 5f4a682 | 2008-11-23 23:12:31 +0000 | [diff] [blame] | 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}} |
Argyrios Kyrtzidis | 5921093 | 2008-09-10 02:17:11 +0000 | [diff] [blame] | 36 | } |
Douglas Gregor | 99e9b4d | 2009-11-25 00:27:52 +0000 | [diff] [blame] | 37 | |
| 38 | int* get_int_ptr(); |
| 39 | |
| 40 | void test2() { |
| 41 | float *ip; |
| 42 | if (int *ip = ip) { |
| 43 | } |
| 44 | } |
John McCall | abc56c7 | 2010-12-04 06:09:13 +0000 | [diff] [blame] | 45 | |
| 46 | // Make sure we do function/array decay. |
| 47 | void test3() { |
| 48 | if ("help") |
| 49 | (void) 0; |
| 50 | |
David Blaikie | 2def773 | 2011-12-09 21:42:37 +0000 | [diff] [blame] | 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}} |
John McCall | abc56c7 | 2010-12-04 06:09:13 +0000 | [diff] [blame] | 53 | (void) 0; |
| 54 | } |
Richard Trieu | 26b45d8 | 2011-12-06 04:48:01 +0000 | [diff] [blame] | 55 | |
| 56 | void test4(bool (&x)(void)) { |
| 57 | while (x); |
| 58 | } |
Enea Zaffanella | 601e6e8 | 2013-01-11 14:34:39 +0000 | [diff] [blame] | 59 | |
| 60 | template <class> |
| 61 | void test5() { |
| 62 | if (struct S {}* p = 0) // expected-error {{types may not be defined in conditions}} |
| 63 | ; |
| 64 | } |
| 65 | void test5_inst() { |
| 66 | test5<int>(); |
| 67 | } |