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
/
modtest.c
blob
458a16adce27d3c7aadf11ce59f83bb78889ae3f
1
int
x
,
y
,
ai
[],
bi
[];
2
3
typedef
struct
_ts
{
int
a
;
int
b
; }
tst
;
4
5
tst ts
;
6
7
tst
*
tstp
;
8
9
int
g
(
int
a
[],
int
*
p
)
10
{
11
return
7
;
12
}
13
14
int
f
(
int
i
[],
int
*
j
)
15
{
16
i
[
3
] =
y
;
17
j
[
2
] =
x
;
18
ai
[
3
] =
5
;
19
ai
[
4
] =
8
;
/* not a modification error ai[x'] */
20
i
=
j
;
21
x
++;
22
y
++;
23
ts
.
a
=
i
[
2
];
24
ts
.
b
=
tstp
->
a
;
25
tstp
->
b
=
6
;
26
g
(
j
,
i
);
27
28
return
3
;
29
}
30
31
int
h
(
int
a
[])
32
{
33
y
++;
34
(
void
)
g
(
a
, &
x
);
35
return
y
;
36
}
37