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
slice: remove unneeded nr_nrbits from EXPR_SLICE
[smatch.git]
/
validation
/
label-unused.c
blob
e3f255e1b5dec4bd099a5aa1346c3a0f3381b6c9
1
static void
foo
(
void
)
2
{
3
l
:
4
return
;
5
}
6
7
static int
bar
(
void
)
8
{
9
return
({
10
l
:
11
;
12
0
;
13
});
14
}
15
16
static void
baz
(
void
)
17
{
18
l
:
__attribute__
((
unused
));
19
return
;
20
}
21
22
/*
23
* check-name: label-unused
24
*
25
* check-error-start
26
label-unused.c:3:1: warning: unused label 'l'
27
label-unused.c:10:1: warning: unused label 'l'
28
* check-error-end
29
*/