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
free_strict: silence some kfree_skb() false positives
[smatch.git]
/
validation
/
crash-ptrlist.c
blob
8e9b5cb5fa962b40ea91901f0df421e31dbef720
1
a
;
2
char
b
;
3
c
() {
4
while
() {
5
int
*
d
;
6
while
() {
7
char
*
e
= &
b
;
8
if
(
a
?: (*
d
=
f
|| *
0
) ||
g
) {
9
if
10
;
11
}
else
{
12
int
h
=
0
;
13
if
(
j
) {
14
char
**
i
= &
e
;
15
if
(
0
?
0
:
0
?: (**
i
=
1
||
0
&&
0
))
h
?: (*
e
=
i
&& &
h
16
17
/*
18
* check-name: crash ptrlist
19
* check-command: test-linearize $file
20
*
21
* check-error-ignore
22
* check-output-ignore
23
*/