repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Don't try calling lsl when file is missing.
[splint-patched.git]
/
test
/
glob.c
blob
f0a46878cb70d93a99f1013d9e30c2962ccff23b
1
int
x
;
2
int
y
;
3
int
z
;
4
5
int
useGlob
(
int
a
)
6
{
7
a
=
x
+
y
;
8
return
(
a
+
x
+
y
) ;
9
}
10
11
int
dontuseGlob
(
int
a
)
12
{
13
return
(
x
+
a
);
14
}
15
16
int
unspec
(
int
a
)
17
{
18
return
(
y
+
z
+
a
);
19
}
20
21
int
callsUseGlob
(
int
a
)
22
{
23
return
(
useGlob
(
a
));
24
}
25
26
27
28