annotate clang/test/Sema/loop-control.c @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -fsyntax-only -x c++ -Werror %s
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 int pr8880_1() {
anatofuz
parents:
diff changeset
5 int first = 1;
anatofuz
parents:
diff changeset
6 for ( ; ({ if (first) { first = 0; continue; } 0; }); )
anatofuz
parents:
diff changeset
7 return 0;
anatofuz
parents:
diff changeset
8 return 1;
anatofuz
parents:
diff changeset
9 }
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 void pr8880_2(int first) {
anatofuz
parents:
diff changeset
12 for ( ; ({ if (first) { first = 0; break; } 0; }); ) {}
anatofuz
parents:
diff changeset
13 }
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 void pr8880_3(int first) {
anatofuz
parents:
diff changeset
16 for ( ; ; (void)({ if (first) { first = 0; continue; } 0; })) {}
anatofuz
parents:
diff changeset
17 }
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 void pr8880_4(int first) {
anatofuz
parents:
diff changeset
20 for ( ; ; (void)({ if (first) { first = 0; break; } 0; })) {}
anatofuz
parents:
diff changeset
21 }
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 void pr8880_5 (int first) {
anatofuz
parents:
diff changeset
24 while(({ if (first) { first = 0; continue; } 0; })) {}
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 void pr8880_6 (int first) {
anatofuz
parents:
diff changeset
28 while(({ if (first) { first = 0; break; } 0; })) {}
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 void pr8880_7 (int first) {
anatofuz
parents:
diff changeset
32 do {} while(({ if (first) { first = 0; continue; } 0; }));
anatofuz
parents:
diff changeset
33 }
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 void pr8880_8 (int first) {
anatofuz
parents:
diff changeset
36 do {} while(({ if (first) { first = 0; break; } 0; }));
anatofuz
parents:
diff changeset
37 }
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 void pr8880_10(int i) {
anatofuz
parents:
diff changeset
40 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
41 for ( ; ; (void)({ ++i; continue; i;})) {} // expected-warning{{'continue' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 void pr8880_11(int i) {
anatofuz
parents:
diff changeset
45 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
46 for ( ; ; (void)({ ++i; break; i;})) {} // expected-warning{{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
47 }
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 void pr8880_12(int i, int j) {
anatofuz
parents:
diff changeset
50 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
51 for ( ; ({if (i) continue; i;}); j++) {} // expected-warning {{'continue' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 void pr8880_13(int i, int j) {
anatofuz
parents:
diff changeset
55 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
56 for ( ; ({if (i) break; i;}); j++) {} // expected-warning{{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
57 }
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 void pr8880_14(int i) {
anatofuz
parents:
diff changeset
60 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
61 while(({if (i) break; i;})) {} // expected-warning {{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
62 }
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 void pr8880_15(int i) {
anatofuz
parents:
diff changeset
65 while (--i)
anatofuz
parents:
diff changeset
66 while(({if (i) continue; i;})) {} // expected-warning {{'continue' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
67 }
anatofuz
parents:
diff changeset
68
anatofuz
parents:
diff changeset
69 void pr8880_16(int i) {
anatofuz
parents:
diff changeset
70 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
71 do {} while(({if (i) break; i;})); // expected-warning {{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
72 }
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 void pr8880_17(int i) {
anatofuz
parents:
diff changeset
75 for ( ; i != 10 ; i++ )
anatofuz
parents:
diff changeset
76 do {} while(({if (i) continue; i;})); // expected-warning {{'continue' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
77 }
anatofuz
parents:
diff changeset
78
anatofuz
parents:
diff changeset
79 void pr8880_18(int x, int y) {
anatofuz
parents:
diff changeset
80 while(x > 0)
anatofuz
parents:
diff changeset
81 switch(({if(y) break; y;})) {
anatofuz
parents:
diff changeset
82 case 2: x = 0;
anatofuz
parents:
diff changeset
83 }
anatofuz
parents:
diff changeset
84 }
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 void pr8880_19(int x, int y) {
anatofuz
parents:
diff changeset
87 switch(x) {
anatofuz
parents:
diff changeset
88 case 1:
anatofuz
parents:
diff changeset
89 switch(({if(y) break; y;})) {
anatofuz
parents:
diff changeset
90 case 2: x = 0;
anatofuz
parents:
diff changeset
91 }
anatofuz
parents:
diff changeset
92 }
anatofuz
parents:
diff changeset
93 }
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 void pr8880_20(int x, int y) {
anatofuz
parents:
diff changeset
96 switch(x) {
anatofuz
parents:
diff changeset
97 case 1:
anatofuz
parents:
diff changeset
98 while(({if (y) break; y;})) {} //expected-warning {{'break' is bound to loop, GCC binds it to switch}}
anatofuz
parents:
diff changeset
99 }
anatofuz
parents:
diff changeset
100 }
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 void pr8880_21(int x, int y) {
anatofuz
parents:
diff changeset
103 switch(x) {
anatofuz
parents:
diff changeset
104 case 1:
anatofuz
parents:
diff changeset
105 do {} while(({if (y) break; y;})); //expected-warning {{'break' is bound to loop, GCC binds it to switch}}
anatofuz
parents:
diff changeset
106 }
anatofuz
parents:
diff changeset
107 }
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 void pr8880_22(int x, int y) {
anatofuz
parents:
diff changeset
110 switch(x) {
anatofuz
parents:
diff changeset
111 case 1:
anatofuz
parents:
diff changeset
112 for ( ; ; (void)({ ++y; break; y;})) {} // expected-warning{{'break' is bound to loop, GCC binds it to switc}}
anatofuz
parents:
diff changeset
113 }
anatofuz
parents:
diff changeset
114 }
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 void pr8880_23(int x, int y) {
anatofuz
parents:
diff changeset
117 switch(x) {
anatofuz
parents:
diff changeset
118 case 1:
anatofuz
parents:
diff changeset
119 for ( ; ({ ++y; break; y;}); ++y) {} // expected-warning{{'break' is bound to loop, GCC binds it to switch}}
anatofuz
parents:
diff changeset
120 }
anatofuz
parents:
diff changeset
121 }
anatofuz
parents:
diff changeset
122
anatofuz
parents:
diff changeset
123 void pr32648_1(int x, int y) {
anatofuz
parents:
diff changeset
124 switch(x) {
anatofuz
parents:
diff changeset
125 case 1:
anatofuz
parents:
diff changeset
126 for ( ; ({ ++y; switch (y) { case 0: break; } y;}); ++y) {} // no warning
anatofuz
parents:
diff changeset
127 }
anatofuz
parents:
diff changeset
128 }
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 void pr32648_2(int x, int y) {
anatofuz
parents:
diff changeset
131 while(x) {
anatofuz
parents:
diff changeset
132 for ( ; ({ ++y; switch (y) { case 0: continue; } y;}); ++y) {} // expected-warning {{'continue' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
133 }
anatofuz
parents:
diff changeset
134 }
anatofuz
parents:
diff changeset
135
anatofuz
parents:
diff changeset
136 void pr32648_3(int x, int y) {
anatofuz
parents:
diff changeset
137 switch(x) {
anatofuz
parents:
diff changeset
138 case 1:
anatofuz
parents:
diff changeset
139 for ( ; ({ ++y; for (; y; y++) { break; } y;}); ++y) {} // no warning
anatofuz
parents:
diff changeset
140 }
anatofuz
parents:
diff changeset
141 }
anatofuz
parents:
diff changeset
142
anatofuz
parents:
diff changeset
143 void pr32648_4(int x, int y) {
anatofuz
parents:
diff changeset
144 switch(x) {
anatofuz
parents:
diff changeset
145 case 1:
anatofuz
parents:
diff changeset
146 for ( ; ({ ++y; for (({ break; }); y; y++) { } y;}); ++y) {} // expected-warning{{'break' is bound to loop, GCC binds it to switch}}
anatofuz
parents:
diff changeset
147 }
anatofuz
parents:
diff changeset
148 }
anatofuz
parents:
diff changeset
149
anatofuz
parents:
diff changeset
150 void pr32648_5(int x, int y) {
anatofuz
parents:
diff changeset
151 switch(x) {
anatofuz
parents:
diff changeset
152 case 1:
anatofuz
parents:
diff changeset
153 for ( ; ({ ++y; while (({ break; y; })) {} y;}); ++y) {} // expected-warning{{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
154 }
anatofuz
parents:
diff changeset
155 }
anatofuz
parents:
diff changeset
156
anatofuz
parents:
diff changeset
157 void pr32648_6(int x, int y) {
anatofuz
parents:
diff changeset
158 switch(x) {
anatofuz
parents:
diff changeset
159 case 1:
anatofuz
parents:
diff changeset
160 for ( ; ({ ++y; do {} while (({ break; y; })); y;}); ++y) {} // expected-warning{{'break' is bound to current loop, GCC binds it to the enclosing loop}}
anatofuz
parents:
diff changeset
161 }
anatofuz
parents:
diff changeset
162 }
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 void pr32648_7(int x, int y) {
anatofuz
parents:
diff changeset
165 switch(x) {
anatofuz
parents:
diff changeset
166 case 1:
anatofuz
parents:
diff changeset
167 for ( ; ({ ++y; do { break; } while (y); y;}); ++y) {} // no warning
anatofuz
parents:
diff changeset
168 }
anatofuz
parents:
diff changeset
169 }