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
Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git]
/
test
/
ud2.c
blob
22ce424b8abaf51a404b524fd6a517e6c9865050
1
void
g
(
void
)
2
{
3
char
*
x
;
4
char
**
y
;
5
6
f1
(&
x
);
7
printf
(
"%s
\n
"
,
x
);
8
9
f1
(
y
);
/* 1. Unallocated storage y passed as out parameter: y */
10
printf
(
"%s
\n
"
, *
y
);
11
}
12
13
void
h
(
void
)
14
{
15
int
z
;
16
char
*
x
;
17
char
**
y
;
18
19
f3
(&
z
);
/* okay! */
20
f2
(&
x
);
/* 2. Value &x used before definition, */
21
printf
(
"%s
\n
"
,
x
);
22
23
f2
(
y
);
/* 3. Variable y used before definition */
24
}