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
comparison: if "a < b" and "b < c" then "a < c"
[smatch.git]
/
validation
/
struct-ns2.c
blob
4dd2c3bf0f79a9801a4e0a9ef1737d1e5e447800
1
static void
2
g
(
struct
Bar
{
int
i
; } *
x
)
3
{
4
struct
Bar y
;
5
y
.
i
=
1
;
6
}
7
8
static void
9
h
(
void
)
10
{
11
// This is not in scope and should barf loudly.
12
struct
Bar y
;
13
y
.
i
=
1
;
14
}
15
16
/*
17
* check-name: struct not in scope
18
* check-known-to-fail
19
*/