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
irq_context: ignore (struct flexcop_device)->read_ibi_reg
2024-02-05
D
a
n Carpenter
irq
_
context: ign
o
re (struct flexcop_devi
c
e
)-
>
read_ibi_re
g
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-02-05
Dan Carpenter
data/ker
n
e
l
.
unconstant_macros: add VM_USWAP and some
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-02-02
Dan Car
p
enter
smb
d
:
add type_info command
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-02-02
Dan
C
a
rpente
r
k
e
rn
e
l_irq_c
o
nt
e
xt: trac
k
w
hen we'r
e
in IRQ c
o
ntext
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-02-01
D
a
n Carpenter
f
l
ow:
f
ix
s
ome order
i
ng bugs in handling DEREFs
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-31
Dan Carpent
e
r
db/kernel
.
d
elete
.
return_states: de
l
ete some
imposs
i
bl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
D
an Carpenter
double_fget: warn about re-using file des
c
r
iptors
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Luc Van Oostenryck
llv
m
: fix LLVM 15
d
eprec
a
tion warni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Luc Va
n
Oost
e
nryck
llvm: ensure SYM_NODE is stripped before access
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Luc Van Oostenr
y
c
k
llvm: d
o
n
o
t
duplicate strings and use
their
leng
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Luc
V
an Oostenryck
llv
m
: add a f
e
w testcases for
integer/point
e
r conversio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Luc
V
a
n
Oos
t
enryck
l
l
vm:
s
uppress
warnings about
depre
c
ated API
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Dan Carp
e
nter
Merge ht
t
ps://gi
t
.
ker
n
e
l
.
org/pub/sc
m
/devel/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2024-01-29
D
a
n
C
a
r
penter
states: correct a typo in
s
o
m
e
c
o
mments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-29
Dan Carpen
t
e
r
flow/conditions: fix or
d
e
r
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-22
L
ukáš Zaoral
untracked_para
m
:
fix compil
a
tion errors w
i
th G
C
C
1
4
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-18
Dan Carp
e
nter
slist: in
t
r
oduce
_
_
dif
f
_stree() for debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-09
Dan
C
a
r
pe
n
ter
or_vs_and: s
i
lence s
o
me
f
alse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-08
Dan Carpenter
h
e
lper: make expr_to_str(
)
print com
m
a expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-08
Dan Carpenter
uniniti
a
l
iz
e
d
_
kobj:
turn of
f
whe
n
th
e
DB i
s
n't
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-08
D
a
n Carpenter
uns
i
gned_lt_z
e
ro: ignore "NF_CT_HELPER_BUILD_BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Dan Ca
r
pente
r
kernel_has_devm_cle
a
nup: add drmm_add_action_or_reset()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Dan Car
p
e
n
ter
flow: pull if statement handling int
o
its own functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpenter
memcp
y
_ove
r
flo
w
: add other m
e
mcpy() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Dan Carpenter
state
s
: preserve out of s
c
o
p
e s
t
at
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Dan Ca
r
p
enter
units:
add p
i
xel units
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2024-01-05
Da
n
C
arpenter
sleep
_
info:
sile
n
c
e
some fal
s
e p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-11
Dan Car
p
enter
kernel
.
check_string
_
condition
.
i
gnore: ign
o
re acp_dev_hi
d
_uid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-08
D
a
n Carpenter
db/k
e
rn
e
l
.
return_fixes: platfo
r
m_
g
e
t_irq_
b
yn
a
m
e does
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-08
Dan Carpenter
db/f
i
xup_ker
n
el
.
sh: no
user data is passed to
s
uspend
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-08
D
a
n Carpenter
db/fixu
p
_
kernel
.
sh:
f
ixup kmalloc() returns
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-08
Dan Car
p
ente
r
d
b/fixup_kernel
.
s
h
:
fixup sysfs read/write
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-06
Dan C
a
r
penter
ke
r
nel_err
_
ptr: empt
y
states
are not erro
r
p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-06
Dan
C
arpenter
type: fix some type
p
r
omotion bugs
for un
i
t
s
with the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-05
Dan
C
arpe
n
t
e
r
preempt_info:
a
dd class_wr
i
te_lo
c
k_irq
_
destructor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-04
Dan Carpe
n
ter
unsinged_lt_zero: all
o
w
u
ns
i
gned comp
a
risons
with KASAN_SH
A
D
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carpenter
units: anything can be saved to a register
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
D
a
n C
a
rpenter
units: remove so
m
e guessing
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Da
n
Carp
e
nter
flow: don't call scope
_
guard hoo
k
s twic
e
at the
end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Dan Carpenter
flow: fak
e
returns for inline func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-12-01
Har
s
hit Mogalapalli
c
h
eck_uninitialized_kobj: A
d
d a n
e
w check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
D
a
n Carpenter
p
arse: add a che
c
k
fo
r
NULL in st
m
t_get_par
e
nt_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
D
a
n
Carpenter
d
b
/
kerne
l
.
return_fi
x
es
:
add __hci_cmd_sync_
s
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-29
Dan C
a
rpe
n
ter
db/kernel
.
return_fixes: fix scope_guard() parsin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-21
Dan
Carpenter
param_set: remove duplicate math
s
tr
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-09
D
a
n Carpenter
chec
k
_
unw
i
nd: fix
r
e
quest_f
i
rmware()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-07
Dan Carp
e
nter
check_ker
n
el: fix the b
u
il
d
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-07
Dan C
a
r
penter
assig
n
_vs_
c
ompare:
s
ilence bcache
fa
l
se
p
os
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
fr
e
e/refc
o
unt: move re
f
count_w
a
s_i
n
ced()
t
o
refcount
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carp
e
nter
ke
r
nel_kref
_
put:
mo
v
e to a different file
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Da
n
Carpe
n
te
r
c
h
e
ck_kerne
l
: add support for
w
ith_intel_display()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan
Carpenter
che
c
k_kerne
l
: add support for msec() to j
i
ffies
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan
C
arp
e
nter
ch
e
ck_kernel: add sup
p
ort for size_add() an
d
size_mul
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Da
n
Ca
r
penter
che
c
k
_kernel: add support
fo
r
put_device()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
locking: handle class_mutex_destr
u
ctor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
D
a
n
Carp
e
nte
r
assigne
d
_exp
r
:
m
ake skip
_
mod f
u
n
ction_data
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Dan Carpenter
assig
n
ed_ex
p
r: handle fa
k
e
param
e
ter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-11-01
Ha
r
shit Mogalapalli
check_u
n
wind: Add request/release_firmware to th
e
fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-31
Dan
Carpent
e
r
unchecked
_
allo
c
at
i
on: use
the smatch_dereferen
c
e
.
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpent
e
r
free_stric
t
:
remove kref_p
u
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
H
a
rshit Mogalapalli
check_ida_al
l
oc: Improve check t
o
not warn when min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
free_st
r
i
c
t: __skb_pad(
)
only fr
e
es on e
r
ror
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan
C
arpenter
buf_com
p
a
r
ison: introduc
e
the buf_has_bytes() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpenter
bu
f
_siz
e
:
t
r
ack the s
i
z
e
o
f
structs when people use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan C
a
r
p
enter
smdb
.
p
y
:
improve type_s
i
ze outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carp
e
nter
extra: don'
t
t
rack arr
a
y assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Car
p
e
n
ter
function_
p
trs:
d
on
'
t track fu
n
ction p
o
int
e
r
s
p
ass
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Carpenter
helper: improve
g
e
t_member_n
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
D
an Carpente
r
hooks: rem
o
ve some unnecessary NULL checks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpente
r
debug:
p
revent
uninitialized variable
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
D
a
n Carpenter
points_to_
u
ser_data: add
a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-26
Dan Carpe
n
ter
f
r
ees_param_strict: track co
n
tainer_of better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-25
Dan Car
p
enter
f
r
ees_param_strict: tr
a
ck MAYB
E
_FREED
pa
r
ameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-25
Dan Ca
r
penter
free_
s
trict: add suppo
r
t
for __skb_pad()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-20
Dan Carpenter
strings: fix crash bug pars
i
ng foo
=
b
ar ?: baz
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-19
Dan Carpenter
db: don't
mark the db as inco
m
p
let
e
b
e
caus
e
of c
h
eck_debug
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-19
D
an Ca
r
penter
ker
n
el_u
s
er_
d
ata: don't insert use
l
ess data into the
D
B
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-18
Dan Carpent
e
r
data/
k
ernel
.
unco
n
s
tant_macros
:
add
mor
e
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-12
Dan Carp
e
nter
flow: c
a
l
l scope ho
o
ks before recording the cros
s
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-12
Da
n
Carpent
e
r
deref: fix a c
r
ashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-11
Dan Carpe
n
ter
p
a
r
se: i
g
n
o
r
e __seg_gs
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
D
a
n Ca
r
penter
free_str
i
ct: pass the correct exp
r
ess
i
on to free ho
o
ks
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpente
r
dereference: add spinlock_check() as a derefe
r
ence
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpen
t
er
double_c
h
ecking: silence some
false pos
i
tiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Da
n
Carpenter
double_checking: disable
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
a
t
omic_dec
_
te
s
t_
p
ath: hack around assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Car
p
enter
ker
n
el_user_data
:
delete s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
D
an Car
p
e
nter
refcoun
t
_info: ad
d
some m
o
re refcoun
t
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carp
e
nter
locking: re-add release_sock()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpenter
stored_conditions: commit
useless code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-06
Dan Carpente
r
r
ef
c
ount: partial increments count as increments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
ranges: fix
error pointer handlin
g
cross compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpent
e
r
flow: more
f
ixes for cleanup c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan Carpenter
flow:
m
o
ve some
c
ode
a
roun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan C
a
rpenter
flow/dereference: han
d
l
e
*
&foo->bar
b
e
tt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-05
Dan
C
arpen
t
er
deref
e
rence: handle frob(&foo->bar); bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-10-02
D
an C
a
rpente
r
dereference: ignore
p
ointer math bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-28
Dan
Carpente
r
locking:
hard code some lock
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-28
Dan
C
arpenter
locking: add class
_
m
u
tex_d
e
structor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-09-27
Dan Carp
e
nter
p
r
eempt_info: add
c
lass_raw
_
spinlo
c
k_irq_destructor()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
next