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
Add "argument pseudo" for incoming arguments to a function.
[smatch.git]
/
validation
/
struct-ns2.c
blob
2c543c2abe1a02678101f877edb559b92683a698
1
void
2
g
(
struct
Bar
{
int
i
; } *
x
)
3
{
4
struct
Bar y
;
5
y
.
i
=
1
;
6
}
7
8
void
9
h
(
void
)
10
{
11
// This is not in scope and should barf loudly.
12
struct
Bar y
;
13
y
.
i
=
1
;
14
}