repo.or.cz
/
smatch
/
bkmgit.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c
[smatch/bkmgit.git]
/
validation
/
optim
/
load-semi-volatile.c
blob
ae3b548b8bd350939dea6368bddff4ec25df4acd
1
struct
s
{
2
volatile
int
a
;
3
};
4
5
struct
s s
;
6
7
void
foo
(
void
)
8
{
9
s
;
10
s
.
a
;
11
}
12
13
/*
14
* check-name: load-semi-volatile
15
* check-command: test-linearize -Wno-decl $file
16
*
17
* check-output-ignore
18
* check-output-pattern(1): load
19
*
20
* check-description:
21
* The load at line 9 must be removed.
22
* The load at line 10 is volatile and thus
23
* must not be removed.
24
*/