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/fixup_kernel.sh: fix clear_user() handling
[smatch.git]
/
validation
/
optim
/
volatile-store00.c
blob
451eefa1578605aa801a167d44b493ee0bf204ca
1
void
foo
(
volatile
int
*
p
)
2
{
3
*
p
=
0
;
4
*
p
=
0
;
5
}
6
7
void
bar
(
void
)
8
{
9
extern volatile
int
i
;
10
i
=
0
;
11
i
=
0
;
12
}
13
14
15
void
baz
(
void
)
16
{
17
volatile
int
i
;
18
i
=
0
;
19
i
=
0
;
20
}
21
22
/*
23
* check-name: keep volatile stores
24
* check-command: test-linearize -Wno-decl -fdump-ir=final $file
25
* check-output-ignore
26
* check-output-pattern(6): store\\.
27
*/