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
check_deref: use add_dereference_hook()
[smatch.git]
/
validation
/
memops
/
kill-dead-store-parent2.c
blob
4f7b9dd901d91b99a75e50df5cc97256d43b67b2
1
int
ladder02
(
int
*
ptr
,
int
p
,
int
x
)
2
{
3
*
ptr
=
x
++;
4
if
(
p
)
5
goto
l11
;
6
else
7
goto
l12
;
8
l11
:
9
*
ptr
=
x
++;
10
goto
l20
;
11
l12
:
12
*
ptr
=
x
++;
13
goto
l20
;
14
l20
:
15
*
ptr
=
x
++;
16
return
*
ptr
;
17
}
18
19
/*
20
* check-name: kill-dead-store-parent2
21
* check-command: test-linearize -Wno-decl $file
22
*
23
* check-output-ignore
24
* check-output-pattern(1): store
25
*/