1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2
3void 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 {{types may not be defined in conditions}}
21  while (struct {} *x=0) ; // expected-error {{types may not be defined in conditions}}
22  switch (enum {E} x=0) ; // expected-error {{types may not be defined in conditions}}
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
38int* get_int_ptr();
39
40void test2() {
41  float *ip;
42  if (int *ip = ip) {
43  }
44}
45
46// Make sure we do function/array decay.
47void 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
56void test4(bool (&x)(void)) {
57  while (x);
58}
59
60template <class>
61void test5() {
62  if (struct S {}* p = 0) // expected-error {{types may not be defined in conditions}}
63    ;
64}
65void test5_inst() {
66   test5<int>();
67}
68