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
db/fixup_kernel.sh: fix clear_user() handling
[smatch.git]
/
validation
/
label-redefined.c
blob
c98e815c1f950a840069b8460dcb4f99f9b8a0af
1
extern
void
fun
(
void
);
2
3
static void
foo
(
int
p
)
4
{
5
l
:
6
if
(
p
)
7
l
:
8
fun
();
9
}
10
11
/*
12
* check-name: label-redefined
13
*
14
* check-error-start
15
label-redefined.c:7:1: error: label 'l' redefined
16
* check-error-end
17
*/