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
smdb.py: update list of types
[smatch.git]
/
validation
/
goto-label.c
blob
1196fdef9b261bcaa650d4103c7b1a3bc14577ba
1
void
foo
(
void
)
2
{
3
goto
a
;
4
a
:
5
a
:
6
return
;
7
}
8
9
void
g
(
void
)
10
{
11
goto
a
;
12
a
:
13
return
;
14
}
15
16
void
bar
(
void
)
17
{
18
goto
neverland
;
19
}
20
21
/*
22
* check-name: goto labels
23
*
24
* check-error-start
25
goto-label.c:5:1: error: label 'a' redefined
26
goto-label.c:18:9: error: label 'neverland' was not declared
27
* check-error-end
28
*/
29