blob: c5d278d3d654755138a60883fbf833b83d3e3b8b (
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
|
void foo(void)
{
void *p = &&l;
{
l: ;
}
goto *p; // OK
}
void bar(void)
{
void *p = &&l; // KO: 'jump' inside
({
l: 1;
});
goto *p;
}
void baz(void)
{
void *p = &&l; // KO: 'jump' inside
0 ? 1 : ({
l: 1;
});
goto *p;
}
void qux(void)
{
void *p = &&l; // KO: 'jump' inside + removed
1 ? 1 : ({
l: 1;
});
goto *p;
}
void quz(void)
{
void *p;
p = &&l; // KO: undeclared
goto *p;
}
void qxu(void)
{
void *p;
({
l: 1;
});
p = &&l; // KO: 'jump' inside
goto *p;
}
void qzu(void)
{
void *p;
1 ? 1 : ({
l: 1;
});
p = &&l; // KO: 'jump' inside + removed
goto *p;
}
/*
* check-name: label-scope-cgoto
* check-command: sparse -Wno-decl $file
* check-known-to-fail
*
* check-error-start
label-scope-cgoto.c:12:19: error: label 'l' used outside statement expression
label-scope-cgoto.c:14:1: label 'l' defined here
label-scope-cgoto.c:21:19: error: label 'l' used outside statement expression
label-scope-cgoto.c:23:1: label 'l' defined here
label-scope-cgoto.c:30:19: error: label 'l' used outside statement expression
label-scope-cgoto.c:32:1: label 'l' defined here
label-scope-cgoto.c:50:13: error: label 'l' used outside statement expression
label-scope-cgoto.c:48:1: label 'l' defined here
label-scope-cgoto.c:60:13: error: label 'l' used outside statement expression
label-scope-cgoto.c:58:1: label 'l' defined here
label-scope-cgoto.c:40:13: error: label 'l' was not declared
* check-error-end
*/
|