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
atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git]
/
validation
/
crash-select.c
blob
cec00baf8860c253ddd5ff93d1d21f818302b7e6
1
struct
s
{
2
void
*
b
;
3
long
c
;
4
};
5
6
long
d
(
void
);
7
static long
f
(
void
)
8
{
9
struct
s s
;
10
s
.
c
=
d
();
11
if
(
s
.
c
)
12
s
.
c
=
2
;
13
return
s
.
c
;
14
}
15
16
/*
17
* check-name: crash-select
18
*/