blob: 22a6633bdf262125bdbeb3368fb277925a8e1f19 (
plain)
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
// RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-unreachable-code
// RUN: %clang_cc1 -std=c23 -fsyntax-only -verify %s -Wno-unreachable-code
void test1(void) {
{ ; { ;;}} ;;
}
void test2(void) {
if (0) { if (1) {} } else { }
do { } while (0);
while (0) while(0) do ; while(0);
for ((void)0;0;(void)0)
for (;;)
for ((void)9;0;(void)2)
;
for (int X = 0; 0; (void)0);
}
void test3(void) {
switch (0) {
case 4:
if (0) {
case 6: ;
}
default:
;
}
}
void test4(void) {
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
int X; // declaration in a block.
foo: if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
}
typedef int t;
void test5(void) {
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
t x = 0;
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
}
void test6(void) {
do
. // expected-error {{expected expression}}
while (0);
}
int test7(void) {
return 4 // expected-error {{expected ';' after return statement}}
}
void test8(void) {
// Should not skip '}' and produce a "expected '}'" error.
undecl // expected-error {{use of undeclared identifier 'undecl'}}
}
int test9(void) {
int T[] = {1, 2, };
int X;
X = 0, // expected-error {{expected ';' after expression}}
{
}
X = 0, // expected-error {{expected ';' after expression}}
if (0)
;
return 4, // expected-error {{expected ';' after return statement}}
}
#if __STDC_VERSION__ >= 202311L
void attr_decl_in_selection_statement(int n) {
if (1)
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
if (1) {
} else
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
switch (n)
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
}
void attr_decl_in_iteration_statement(int n) {
int i;
for (i = 0; i < n; ++i)
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
while (i > 0)
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
do
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
while (i > 0);
}
#endif // __STDC_VERSION__ >= 202311L
|
