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
db/insert_manual_states.pl: remove debug output
[smatch.git]
/
validation
/
optim
/
live-stores0.c
blob
2cbc5ab145c00286315f016f12f84abb3145ff41
1
void
init
(
int
*
x
);
2
3
static int
foo
(
void
)
4
{
5
int
a
[
2
] = {
0
,
123
, };
6
7
if
(
a
[
1
] !=
123
)
8
return
1
;
9
init
(
a
);
10
if
(
a
[
1
] ==
123
)
11
return
2
;
12
return
0
;
13
}
14
15
#if 0
16
void
init
(
int
*
x
)
17
{
18
x
[
0
] =
x
[
1
] =
0
;
19
}
20
#endif
21
22
/*
23
* check-name: live-stores
24
* check-command: test-linearize $file
25
*
26
* check-output-ignore
27
* check-output-contains: store.32 *\\$123
28
* check-output-pattern(2,3): store\\.
29
*/