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
db/fixup_kernel.sh: fix clear_user() handling
2023-11-01
D
an Carp
e
nter
check_kerne
l
: add support for
put_dev
i
ce()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
l
oc
k
in
g
:
handle
class_mute
x
_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
assigned_expr: make
s
k
i
p_mod function_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-11-01
D
a
n
Carpenter
assigned_expr
:
handle fake p
a
rameter as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-31
Dan C
a
rpenter
unch
e
cked_allo
c
ation: use the
s
match_dereference
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n
C
a
rpenter
free
_
st
r
ict: remo
v
e k
r
ef_put()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
D
an Carpenter
free_s
t
rict: __sk
b
_pad
(
) only frees on error
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
buf_compari
s
on: introduce the buf_has_by
t
e
s() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
b
uf_si
z
e:
t
rac
k
the size of structs when peo
p
l
e use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
s
m
db
.
py: improve typ
e
_size
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
enter
extra: don't
t
r
a
ck array assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arpent
e
r
function_p
t
rs: don
'
t tr
a
ck function p
o
inters pass
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Ca
r
penter
helper: improve get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
hooks: remove some
u
nnecessary NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
Ca
r
penter
debug: prevent uninitial
i
z
e
d variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
ar
p
enter
p
o
ints
_
t
o
_user_data:
ad
d
a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-26
Da
n
Carpenter
frees_p
a
r
a
m_s
t
rict: track contai
n
er
_
o
f
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Dan Carpe
n
te
r
frees
_
param_stri
c
t: track
M
AYBE_
F
REED parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-25
Da
n
Carpenter
free_
s
trict:
a
d
d
sup
p
or
t
for __sk
b
_pad()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-20
D
a
n Carpe
n
ter
strings: fix crash bug parsing foo =
bar ?
:
ba
z
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
D
a
n Carpenter
db: don't mark the
db as
i
ncomplete b
e
ca
u
se
o
f
check
_
d
ebug
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-19
Dan
Carpenter
ker
n
el_user_dat
a
: don't insert
useless data into the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-18
Dan Carpenter
data/kernel
.
uncon
s
tan
t
_mac
r
os: add more macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan Carpenter
flow: cal
l
scope hoo
k
s bef
o
re record
i
ng the cross f
u
ncti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-12
Dan
C
a
rpenter
de
r
ef: fix a cras
h
ing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-11
Dan Carpenter
pars
e
:
ignore __seg
_
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
free
_
str
i
ct: pass t
h
e correct
express
i
o
n
to free hooks
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpen
t
er
dereference: add spinlock_check() as a dereference
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpenter
doubl
e
_
c
h
ecking:
sile
n
ce some false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpent
e
r
double_
c
hec
k
i
ng: d
i
sable implic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n
C
arpenter
atomic_d
e
c_test_path: hack around assign
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan
C
arpe
n
te
r
kernel_user
_
data: d
e
l
e
te some d
e
ad c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan C
a
rpenter
refcount_
i
nfo: add
s
ome more refcoun
t
function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n Carpenter
locking:
re-add relea
s
e_sock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
Dan Ca
r
p
e
n
t
er
s
t
ored_c
o
nditions:
commit useless c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-06
D
an Carpenter
refcount:
partial
i
ncrements coun
t
as increm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
ranges: fix error
p
o
inter
h
andlin
g
cross compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
flow:
m
ore fixes
f
o
r cleanup code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
flow:
mov
e
som
e
code ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
flow/dere
f
erence: han
d
le
*
&foo-
>
bar better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-05
D
a
n Carpente
r
derefere
n
c
e: hand
l
e f
r
ob(&foo->bar); bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-10-02
Dan C
a
rpen
t
er
deref
e
rence: ig
n
o
r
e
p
oi
n
ter
mat
h
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Dan Carpenter
l
o
c
k
ing: hard co
d
e some locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-28
Dan Carpen
t
er
loc
k
ing: a
d
d
class_mu
t
ex_destru
c
tor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-27
Dan
Carpent
e
r
preempt
_
info: add
c
la
s
s_raw_spinlock_irq_destru
c
tor(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
D
a
n
Carpent
e
r
points_to_user_
d
ata: ad
d
xd
r
_copy_to_scratch()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
D
a
n Carpenter
s
list: s
e
t t
h
e
correc
t
sm-
>
line in set_stat
e
_s
t
re
e
_per
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-25
Da
n
Ca
r
p
e
nter
er
r
_ptr_deref: s
i
l
ence mlx5_eswitch_get_
v
p
o
rt()
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-15
Dan Carpenter
locking: remove release_sock(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-14
Dan Carpenter
type: fix cr
a
sh parsing bcache code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n C
a
rpenter
preempt_info: add class_spinloc
k
_i
r
qs
a
ve_destructor
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Car
p
enter
par
s
e: fix how cle
a
nup attributes are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Da
n
Car
p
enter
preempt_inf
o
: Use para
m
-2 inst
e
ad of -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
preem
p
t_info: add class_raw_sp
i
nlock_irq
s
a
v
e_destructor()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Ca
r
p
ente
r
flow: fix scope ho
o
ks fo
r
for loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan
C
arp
e
nter
flow: ha
n
dl
e
function
s
cope hooks better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
Dan Carpenter
s
c
opes: make scopes wo
r
k correctly
a
cross inlines
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-09-11
D
a
n
Carpenter
hooks: rename l to list
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-11
Dan Carpenter
leaks:
s
ilence c
l
eanup
.
h false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Ca
r
penter
buf_si
z
e: add bitmap
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
buf_size:
b
ig u
g
l
y
sy
n
c w
i
th relea
s
ed sources
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
D
a
n Carpenter
checking_fo
r
_nul
l
_instead_o
f
_err_ptr: sil
e
n
c
e debugfs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
deref
e
rence: don't tal
k
abo
u
t dereferencing arr
a
ys
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Carpenter
dereference: add strlen
(
) as
a
dereference
fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-02
Dan Ca
r
p
enter
derefere
n
ce: us
e
t
he new add
_
param_key_expr_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Da
n
C
arpenter
i
mpossible_compare: silence const val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
s
igned/always_true: move "always true condition"
w
arnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
tokenize: parse char16_t
as wch
a
r
_t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
r
e
f
c
o
unt_info/f
r
ee:
fix kfree_sk
b
() when there is no DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-08-01
Dan Carpenter
smdb: don't use "like" where i
t
i
snt necess
a
ry
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Dan Carp
e
nter
kernel:
use har
d
coded retu
r
ns from IS_ERR() for u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-31
Dan Car
p
e
nter
zero_to
_
er
r
_
p
tr: handle parse
errors better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpe
n
t
e
r
atomic_inc_de
c
: delete
obsolete check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
Carpenter
kernel_atomic_dec
_
tes
t
_path
:
mov
e
this into a separat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Ca
r
p
e
nter
refcount_info: promote it from a c
h
eck_ to
a
s
match_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
a
t
om
i
c_
i
nc_dec
/
re
f
count:
move wa
s
_
inced() from atomic_inc_de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpen
t
er
smatch: make a shared set_undefined
(
) helper
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Car
p
enter
function_h
o
oks: i
n
troduce return_
i
mplies_par
a
m_key_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpe
n
ter
functi
o
n_hooks: chang
e
ad
d
_
function_par
a
m_hook
(
)
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpen
t
er
param_key: delete
u
nused variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
D
a
n Carpenter
h
o
l
ds_kernel_error_codes: commit the holds_kernel_e
r
ro
r
_code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
d
evm_cleanu
p
:
commit the has_devm_cleanup() dec
l
aration
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan
C
arp
e
n
ter
kern
e
l_task
_
stat
e
: track when a t
a
sk i
s
not in TASK_RUNNING
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-28
Dan Carpenter
functio
n
_h
o
oks:
a
dd add_function_param_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-26
Dan Carpenter
parse: a
d
d __f
l
oat12
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan Carpenter
negativ
e
_error
_
code
_
type_promoted:
w
arn about error
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan Carpen
t
er
ke
r
nel: don't assume
PT
R
_ERR() is a
n
error po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-25
Dan Carpen
t
er
co
n
stants: fix err_min/max UL
O
NG_MAX constants for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan Carpe
n
t
e
r
unwind/has_devm_cleanup: move
t
r
a
cking devm_
actions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan
C
arpen
t
er
negative_error
_
code: ad
d
s
p
eci
a
l
handli
n
g
for
n
e
g
ati
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-24
Dan
Carpenter
not_pa
s
sing_
g
fp
:
warn
i
n
g
about
u
sing GFP_KERNEL instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-20
Dan Carpe
n
ter
d
ou
b
l
e
_c
h
e
c
k
i
ng: complete
r
e-wr
i
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-20
Dan Carpent
e
r
stru
c
t_ass
i
gnment: han
d
le po
i
nte
r
to
p
ointer a
s
signm
e
n
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-19
Dan Carpen
t
er
struct_assignment,
p
oints_to_us
e
r_d
a
ta
:
trac
k
arrays
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-13
Dan Carpenter
db/ke
r
ne
l
.
r
e
t
urn_fixes: alphabetize the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-13
Dan
C
arpenter
kernel
.
return_fixes: devm_
d
rm_o
f
_get_bridge() doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-05
Dan Carpen
t
er
impossible
_
compare: separate the impossible comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-03
D
an Carpenter
bogus
_
loop
:
silen
c
e
false positives when
ARRAY_SIZE
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-07-03
Dan Carpe
n
t
er
u
n
s
igned_lt_z
e
ro: don't warn
a
bout "if (
f
oo < ARRAY_SIZE())"
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-06-30
Dan C
a
rp
e
nter
kern
e
l
_printf: silence
w
a
r
n
ings about %02X with signed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
next