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
stree: move stree_id into the avl root
[smatch.git]
/
validation
/
sm_loops3.c
blob
dcee5d8d5677141cdf0544c3c170cefddc14352d
1
#include
"check_debug.h"
2
3
int
checker
(
void
);
4
5
int
x
;
6
int
i
;
7
void
func
(
void
)
8
{
9
int
ar
[
10
];
10
11
if
(
i
<
0
)
12
return
;
13
if
(
i
==
0
)
14
x
=
11
;
15
else
16
x
=
1
;
17
18
while
(
i
--) {
19
__smatch_value
(
"x"
);
20
ar
[
x
] =
1
;
21
}
22
}
23
/*
24
* check-name: smatch loops #3
25
* check-command: smatch -I.. sm_loops3.c
26
*
27
* check-output-start
28
sm_loops3.c:19 func() x = 1
29
* check-output-end
30
*/