repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
function_hooks/unwind: introduce return_implies_exact()
[smatch.git]
/
validation
/
label-scope2.c
blob
448647528dc6d5e7ef2b4f8fd14d49403ce0a7be
1
static void
ok_lvl2
(
void
)
2
{
3
__label__ l
;
4
5
{
6
l
:
7
goto
l
;
8
}
9
}
10
11
static void
ko_expr2
(
void
)
12
{
13
{
14
__label__ a
;
15
16
({
17
a
:
18
0
;
19
});
20
goto
a
;
21
}
22
}
23
24
/*
25
* check-name: label-scope2
26
*
27
* check-error-start
28
label-scope2.c:20:17: error: label 'a' used outside statement expression
29
label-scope2.c:17:1: label 'a' defined here
30
* check-error-end
31
*/