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