repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
kpatch: white space cleanup
2020-09-25
Dan Carpenter
p
aram_key:
r
emove bogus consts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
C
a
r
p
enter
p
aram
_
k
e
y: do
n
't
e
xpor
t
state_
n
ame_to_param
_
name
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
cap
p
ed: convert return
info to
modern code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Carpenter
a
s
signed
_
exp
r
: c
l
ean up old ancient code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n Carpent
e
r
locking: fix compile (broken by add
_
function_data())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
c
a
ppe
d
:
c
h
ange
ho
w
bino
p
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Car
p
e
n
ter
capped: chang
e
+= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
kernel: add support for
a
rray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
kernel: f
i
x
i
m
plied_err_cast
_
ret
u
rn(
)
return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n
C
arpenter
fre
e
s_param_strict: use get_para
m
_key_fro
m
_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpenter
atomic
_
inc_de
c
:
add
som
e
mor
e
inc_dec functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan C
a
rpenter
imp
l
ied: ad
d
a comment in possible_false_helper(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpe
n
ter
para
m
_key:
us
e
g
e
t
_name_sym_from_key() inste
a
d of retur
n
_s
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Ca
r
penter
f
low:
U
se add_functio
n
_
d
ata() to
c
lean up the code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n Carpenter
db/param_key: move some ke
y
related func
t
i
o
n
s
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
D
a
n Carpenter
unwind: add some mo
r
e functi
o
ns that
n
eed
to be freed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Car
p
enter
m
ath: imp
r
ove
AND handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpe
n
t
er
func
t
ion_ptrs: don't store nonse
n
se fake
poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Da
n
Carpenter
un
w
ind: h
a
n
d
le freei
n
g in othe
r
fun
c
tio
n
s b
e
tt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpe
n
te
r
flow: introduce
f
unct
i
on da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
p
a
ram_ke
y
:
p
r
eserve parameter a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
check_unwind: remov
e
request_resource()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
a
n
Carpen
t
e
r
db
:
fi
x
d
b_incomple
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan C
a
rp
e
nter
un
w
ind: fix a spelli
n
g
m
i
stake "ballance" -->
"
balance"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Da
n
Carpenter
db
:
rec
o
rd
i
f the DB is missing inf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
an
Ca
r
penter
unwind: fix request_
r
e
s
our
c
e
() checki
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpente
r
db: split
ranged implication hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
D
a
n Car
p
enter
param_key: introd
u
c
e
get
_
nam
e
_sym_f
r
om_
k
e
y
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan C
a
r
penter
ranges: add i
s
_err_or
_
null(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
D
a
n Ca
r
penter
unwind: re-write the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan
C
arpenter
param_
k
e
y
:
move f
u
n
c
tion
s
to
n
ew
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Car
p
e
nter
helpe
r
:
i
ntrodu
c
e get_param_key_from_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpe
n
ter
return_to
_
param: del
e
te debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carp
e
n
t
e
r
return_to_
p
ar
a
m: Fix
r
eturned functi
o
n parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan Ca
r
penter
fu
n
ct
i
on_ho
o
k
s
: check th
e
r
e
turn from the
i
mplied_
r
eturn_
h
ooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
D
an
Ca
r
penter
fu
n
ction_hooks: rename a
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan
Carpenter
db/kernel
.
insert: the devi
c
e_add()
f
unction sets th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Dan
Carpen
t
er
db/kernel
.
insert:
Insert some vm
a
ll
o
c(
)
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n Car
p
ent
e
r
v
al
i
dation: u
p
date locking tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
D
a
n Carpenter
Merge git://git
.
ker
n
el
.
o
rg
/
pub/scm/deve
l
/sparse/sp
a
rse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpent
e
r
helper: export g
e
t_param_key_
f
r
om_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpe
n
ter
locking: turn off
l
o
c
king check for non-
S
MP c
o
nfigs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carpenter
free
_
strict/
f
rees_param: re-write these checks a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carpenter
fr
e
e: fix parsing of parent_is_free_var_
s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpen
t
er
bu
f
_siz
e
: add su
p
po
r
t
f
or kvca
l
loc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan Carpenter
buf_size: impr
o
ve su
p
port for va
r
ia
b
le size a
r
ray
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Da
n
Carpenter
buf_size: improve support for
zero size arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
D
an Carpenter
cap
p
e
d: move binop handli
n
g in
t
o a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
c
a
pped: hard
m
a
x
d
o
es
not mean capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
D
a
n Car
p
enter
db/s
m
db: port
it to python3
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan
C
arpenter
db/
s
mdb: add USER_PTR type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-06
Dan Carp
e
nt
e
r
equiv: delete unus
e
d
remo
v
e
_
from_equiv_expr() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
a
n Carpente
r
user
_
data:
c
lean up match_
a
ssign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan C
a
r
penter
user_d
a
ta: mark array_inde
x
_mask_n
o
s
p
e
c
a
s
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
points_to_user_data: reset the s
t
ate to no
t
user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
db: don
'
t store unre
a
chable calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
d
ereferences_param: mark more paramete
r
s as der
e
f
eren
c
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Car
p
enter
math: arr
a
y para
m
eters
c
an be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-03
Dan Carpent
e
r
po
i
n
ts_to_user_data: Fix a segfa
u
l
t
parsing
k
ernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-21
Dan Carpenter
atomic_i
n
c_dec: creat
e
a new i
n
c_dec table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Carpenter
u
s
er_
d
ata/p
o
in
t
s_
t
o_
u
ser_data
:
re-write user
t
racking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan C
a
rpenter
flow: fix
certain inline function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
a
r
pente
r
db: create
f
a
ke assignments f
o
r calls
and returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Carpenter
k
ernel: i
m
prov
e
ha
n
dli
n
g of kernel parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Car
p
e
nter
kernel: improve handli
n
g
fo
r
I
S
_ERR()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpent
e
r
u
s
er_data: u
p
d
at
e
a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Car
p
ent
e
r
math: fix a compile iss
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Carpenter
math: assume pointer additions don't overflow
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Ca
r
penter
buf_size: fake fu
n
cti
o
n
a
s
signs
are al
w
a
y
s unknown
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n Carpenter
math:
a
dd
sup
p
ort
for __builtin_ffs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpente
r
alloca
t
i
n
g_eno
u
gh_
d
a
t
a
:
silence container_of() false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n
C
arpenter
Merge git://
g
it
.
kernel
.
org
/
p
u
b/s
c
m/devel/
s
p
a
rse/
s
p
ars
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-19
Dan Carpenter
typ
e
:
m
ark
f
oo
.
b
a
r
.
baz a
s
a l
o
cal variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-18
Da
n
Carpenter
extra: mtag: don't s
t
ore u
n
k
nown states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-08
Da
n
Car
p
enter
db
:
Fix buffe
r
overflow in state_name_to_param_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atom
i
c_inc
_
de
c
:
remove a
n
unu
s
ed p
a
ramete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic
_
inc_dec: don't warn about impossibl
e
pat
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
a
to
m
ic_
i
nc_dec: i
g
nore
l
ocal static variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_inc_dec: unknow
n
valu
e
s are
not fa
i
lures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpent
e
r
atomic_inc_dec: d
o
n
'
t record in
c
reme
n
t/decrement if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Da
n
C
arpenter
atomic_inc_dec: r
e
cord potentia
l
decrements
a
s a decrem
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Carpenter
atomic_inc_
d
ec: don't s
t
o
r
e i
n
f
o
rmation in impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n C
a
rpen
t
er
atomic_inc_dec: a
d
d more fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
a
n Car
p
en
t
er
atomic_in
c
_dec: don't double set
s
t
a
t
es to &inc/&dec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Car
p
enter
atomic
_
i
n
c
_dec
:
change how
unmatc
h
ed states are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Carpenter
at
o
mic_inc_
d
ec: ren
a
me
"
orig" t
o
"st
a
rt_st
a
te"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
D
a
n Carpe
n
ter
kernel_printf: print erro
r
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Dan Carpenter
k
erne
l
_pr
i
nt
f
: add support f
o
r %ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
D
a
n Carpenter
kernel_printf: add _GNU_SOURCE define
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-19
Dan Carpente
r
Documentation/sma
t
c
h
: add a reference to the mailin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-12
Dan Ca
r
pente
r
buf_size
:
ignore certain assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
D
an Carpe
n
ter
atom
i
c
_i
n
c_dec: fix compile even
h
arde
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
D
an C
a
rpenter
db: split
p
ossible st
a
tes even
w
hen they're e
q
ual
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
Dan Carpenter
s
m
atch:
f
ix the com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
D
a
n
C
a
rpenter
sh
i
ft_to_z
e
ro: be even
more conservative (avoid false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan
C
arpe
n
ter
debug: add more deb
u
g info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
D
an Carpenter
db: d
o
n't bothe
r
with unknown sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpe
n
ter
bu
f
_size: update some kernel
f
unctions: vz
a
l
loc
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Car
p
enter
b
i
ts: Fix han
d
ling of |= and
&
=
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
bi
t
s: m
o
v
e is_loop_iterator() ear
l
ier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next