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
Move the implications checking to after the scripts have set their states.
[smatch.git]
/
validation
/
struct-ns2.c
blob
b38af0ab562f2f10835a9f9a1afd6f62e03c0a4d
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
}