llvm-project

1
// RUN: %clang_cc1 -x c -fsyntax-only -verify %s
2
// RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify -Wall -Wno-unused -Wno-misleading-indentation -DCXX17 %s
3
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wmisleading-indentation -DWITH_WARN -ftabstop 8 -DTAB_SIZE=8 %s
4
// RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify -Wall -Wno-unused -DWITH_WARN  -ftabstop 4 -DTAB_SIZE=4 -DCXX17 %s
5
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wall -Wno-unused -DWITH_WARN -ftabstop 1 -DTAB_SIZE=1 %s
6
// RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify -Wall -Wno-unused -Wmisleading-indentation -DCXX17 -DWITH_WARN -ftabstop 2 -DTAB_SIZE=2 %s
7

8
#ifndef WITH_WARN
9
// expected-no-diagnostics
10
#endif
11

12
void f0(int i) {
13
  if (i)
14
#ifdef WITH_WARN
15
// expected-note@-2 {{here}}
16
#endif
17
    i = i + 1;
18
    int x = 0;
19
#ifdef WITH_WARN
20
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
21
#endif
22
  return;
23
#ifdef CXX17
24
  if constexpr (false)
25
#ifdef WITH_WARN
26
// expected-note@-2 {{here}}
27
#endif
28
    i = 0;
29
    i += 1;
30
#ifdef WITH_WARN
31
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
32
#endif
33
#endif
34
}
35

36
void f1(int i) {
37
  for (;i;)
38
#ifdef WITH_WARN
39
// expected-note@-2 {{here}}
40
#endif
41
    i = i + 1;
42
    i *= 2;
43
#ifdef WITH_WARN
44
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'for'}}
45
#endif
46
  return;
47
}
48

49
void f2(int i) {
50
  while (i)
51
#ifdef WITH_WARN
52
// expected-note@-2 {{here}}
53
#endif
54
    i = i + 1; i *= 2;
55
#ifdef WITH_WARN
56
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'while'}}
57
#endif
58
  return;
59
}
60

61
void f3(int i) {
62
  if (i)
63
    i = i + 1;
64
  else
65
#ifdef WITH_WARN
66
// expected-note@-2 {{here}}
67
#endif
68
    i *= 2;
69
    const int x = 0;
70
#ifdef WITH_WARN
71
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'else'}}
72
#endif
73
}
74

75
#ifdef CXX17
76
struct Range {
77
  int *begin() {return nullptr;}
78
  int *end() {return nullptr;}
79
};
80
#endif
81

82
void f4(int i) {
83
  if (i)
84
  i *= 2;
85
  return;
86
  if (i)
87
    i *= 2;
88
    ;
89
  if (i)
90
#ifdef WITH_WARN
91
// expected-note@-2 {{here}}
92
#endif
93
    i *= 2;
94
    typedef int Int;
95
#ifdef WITH_WARN
96
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
97
#endif
98
#ifdef CXX17
99
  Range R;
100
  for (auto e : R)
101
#ifdef WITH_WARN
102
// expected-note@-2 {{here}}
103
#endif
104
    i *= 2;
105
    using Int2 = int;
106
#ifdef WITH_WARN
107
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'for'}}
108
#endif
109
#endif
110
}
111

112
int bar(void);
113

114
int foo(int* dst)
115
{   
116
    if (dst)
117
       return
118
    bar();
119
  if (dst)
120
    dst = dst + \
121
    bar();
122
  return 0;
123
}
124

125
void g(int i) {
126
  if (1)
127
    i = 2;
128
  else
129
         if (i == 3)
130
#ifdef WITH_WARN
131
// expected-note@-3 {{here}}
132
#endif
133
    i = 4;
134
    i = 5;
135
#ifdef WITH_WARN
136
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
137
#endif
138
}
139

140
// Or this
141
#define TEST i = 5
142
void g0(int i) {
143
  if (1)
144
    i = 2;
145
  else
146
    i = 5;
147
    TEST;
148
}
149

150
void g1(int i) {
151
  if (1)
152
    i = 2;
153
  else if (i == 3)
154
#ifdef WITH_WARN
155
// expected-note@-2 {{here}}
156
#endif
157
      i = 4;
158
      i = 5;
159
#ifdef WITH_WARN
160
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
161
#endif
162
}
163

164
void g2(int i) {
165
  if (1)
166
    i = 2;
167
  else
168
    if (i == 3)
169
    {i = 4;}
170
    i = 5;
171
}
172

173
void g6(int i) {
174
        if (1)
175
                if (i == 3)
176
#ifdef WITH_WARN
177
// expected-note@-2 {{here}}
178
#endif
179
                        i = 4;
180
                        i = 5;
181
#ifdef WITH_WARN
182
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
183
#endif
184
}
185

186
void g7(int i) {
187
  if (1)
188
    i = 4;
189
#ifdef TEST1
190
#endif
191
    i = 5;
192
}
193

194
void a1(int i) { if (1) i = 4; return; }
195

196
void a2(int i) {
197
  {
198
    if (1)
199
      i = 4;
200
      }
201
  return;
202
}
203

204
void a3(int i) {
205
  if (1)
206
    {
207
    i = 4;
208
    }
209
    return;
210
}
211

212
void s(int num) {
213
    {
214
        if (1)
215
            return;
216
        else
217
            return;
218
        return;
219
    }
220
    if (0)
221
#ifdef WITH_WARN
222
// expected-note@-2 {{here}}
223
#endif
224
        return;
225
        return;
226
#ifdef WITH_WARN
227
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
228
#endif
229
}
230
int a4(void)
231
{
232
	if (0)
233
		return 1;
234
 	return 0;
235
#if (TAB_SIZE == 1)
236
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
237
// expected-note@-5 {{here}}
238
#endif 
239
}
240

241
int a5(void)
242
{
243
	if (0)
244
		return 1;
245
		return 0;
246
#if WITH_WARN
247
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
248
// expected-note@-5 {{here}}
249
#endif
250
}
251

252
int a6(void)
253
{
254
	if (0)
255
		return 1;
256
      		return 0;
257
#if (TAB_SIZE == 8)
258
// expected-warning@-2 {{misleading indentation; statement is not part of the previous 'if'}}
259
// expected-note@-5 {{here}}
260
#endif
261
}
262

263
#define FOO \
264
 goto fail
265

266
int main(int argc, char* argv[]) {
267
  if (5 != 0)
268
    goto fail;
269
  else
270
    goto fail;
271

272
  if (1) {
273
    if (1)
274
      goto fail;
275
    else if (1)
276
      goto fail;
277
    else if (1)
278
      goto fail;
279
    else
280
      goto fail;
281
  } else if (1) {
282
    if (1)
283
      goto fail;
284
  }
285

286
  if (1) {
287
    if (1)
288
      goto fail;
289
  } else if (1)
290
    goto fail;
291

292

293
  if (1) goto fail; goto fail;
294

295
    if (0)
296
        goto fail;
297

298
    goto fail;
299

300
    if (0)
301
        FOO;
302

303
    goto fail;
304

305
fail:;
306
}
307

308
void f_label(int b) {
309
  if (b)
310
    return;
311
    a:
312
  return;
313
  goto a;
314
}
315