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
preempt_info: add class_raw_spinlock_irqsave_destructor()
2023-05-11
Dan
C
arpenter
k
ernel
.
no_return_fu
n
cs: update to the la
t
e
s
t lin
u
x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
ke
r
nel
.
n
o
_r
e
turn_funcs: add kunit_do_fai
l
ed_asserti
o
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpen
t
e
r
comparison: store modifi
e
d co
m
p
arison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpe
n
ter
u
n
its: move
che
c
ks to check_ file and hide under the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
C
arpenter
units/deb
u
g
:
add __sma
t
c
h
_
u
nits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpente
r
units:
delete some accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpente
r
units
:
make unit states global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
macro_table: don't stor
e
duplicate mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an Carpenter
cap
p
ed: handle
f
or loops b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
enter
conditions: strip
stuff off a
S
TMT_EXPRESS
I
O
N
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpenter
expres
s
ion
s
: *&f
o
o is
just foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
kernel_use
r
_data: take a sh
o
rt
c
ut to speed up empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mtag: create a
r
everse mapping
f
ro
m
mtag to symbo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
param_
l
im
i
t
: improve print
i
ng
the limit
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Carpenter
r
eturn
s
: delete some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
db/untracked_param:
m
o
ve mark_c
a
ll_p
a
r
ams_u
n
t
racked()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
db: fix
s
ql_insert_return_impli
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
der
e
ferences_p
a
r
a
m:
re-write simpler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
impossible
:
don't mar
k
returns as i
m
pos
s
ible if threa
d
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Dan Car
p
en
t
er
struct_
a
ssignmen
t
: add copy_from_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpent
e
r
lockin
g
: u
s
e share
d
succe
s
s_fail_retur
n
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
locking: add som
e
mo
r
e
l
o
cking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan
C
arpen
t
er
rosenberg: fix a
s
e
gfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpenter
kern
e
l
.
uncon
s
tant_macros: add EXT4
_
MOUNT_DAX_ALWAY
S
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpenter
ros
e
nber
g
: full
y
initia
l
izin
g
t
h
e struct does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpe
n
ter
rosen
b
erg: revert
"
initializatio
n
and struct a
s
signments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
loc
k
ing: delete some NUL
L
chec
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
D
an Carpenter
locking:
add s
o
me more l
o
c
k
i
ng functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bogus_address_param
:
warn about pas
s
ing a bo
g
us address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan
C
arpenter
units:
fix th
e
b
uild
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Car
p
ent
e
r
check_
t
rinity: de
l
e
t
e this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan
C
a
r
penter
locking: i
g
nore false posit
i
v
es caus
e
d by p
e
rf_event_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Da
n
Carpenter
u
n
its: sto
r
e what sort of units a variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Da
n
Carpenter
z
e
ro_
t
o_err_ptr: ad
d
dev_err
_
prob
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Ca
r
penter
fr
e
e_strict: add so
c
k
_
r
e
l
ease()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db/fixu
p
_ker
n
e
l
.
s
h
:
ignore param limits fr
o
m
_
_dev_
p
rintk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
db
/
f
i
xup_kernel
.
sh: vfs_read
/
w
r
ite() are the on
l
y im
p
ort
a
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpenter
ex
t
ra: revert
th
e
mod_e
x
pr c
h
anges for modify
expres
s
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: set
n
o li
m
its mark_s
u
b_members_gon
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an Carpen
t
e
r
u
n
wind: devm_add_action
_
or_
r
eset() is n
o
w a m
a
cro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: sepa
r
ate path states
o
u
t into a different
c
h
eck
i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Carpenter
unwin
d
: i
g
nore path s
t
ates
i
n pre-merge
hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n Carpen
t
e
r
unwind: don't
w
arn
a
bout
impossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
unwin
d
: ignor
e
c
o
mponent_match_add_release() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
arpenter
unw
i
nd: use
t
he
s
hared
success
_
fail_r
e
tu
r
n
(
) function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carp
e
nter
un
w
ind: catc
h
additional bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carp
e
n
t
e
r
unwin
d
: fix a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpe
n
t
e
r
unwind: introduce &un
k
now
n
s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpe
n
ter
flow: fix MACRO_ASSIGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan Car
p
enter
param
_
limit: don't
stor
e
addresses as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carp
e
nter
helpe
r
: make
st
r
ip_expr(
)
strip out "+ 0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carpent
e
r
fl
o
w: only
fake parameter
a
s
signmen
t
s once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpenter
shift
_
to_z
e
ro: silence some
warnings inside
macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
a
n Carp
e
nter
db/create_db
.
s
h
: verify th
a
t
the info
f
il
e
exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
D
a
n Carpenter
data/ke
r
nel
.
uncon
s
tant_macros: add ENQUEUE_MIGRAT
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Carpenter
unwind: don't w
a
rn about glo
b
al variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan
Ca
r
pe
n
ter
flow: don't reparse inlines ove
r
and ove
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan C
a
rpe
n
t
e
r
kernel
.
un
c
onsta
n
t_ma
c
ro
s
: add s
o
me pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpente
r
de
b
ug:
f
ix broken co
m
pile becaus
e
of mi
s
sing code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
r
p
enter
debu
g
: skip everyt
h
ing e
x
cept a given func
t
io
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
a
n
Carp
e
n
ter
debug:
a
dd __s
m
atch_start/stop_skip(
)
to skip pr
o
cess
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rp
e
nter
de
b
ug: make __smatc
h
_about() handle SSA states b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
D
an Carpenter
dere
f
erence: fix
h
a
nd
l
ing DEREFE
R
ENCE
f
rom the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dere
f
erence: only count foo->bar
a
s
a der
e
feren
c
e n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Da
n
C
a
rpenter
data
/
k
e
rnel
.
ign
o
re_unitialized_p
a
ram: add some
more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpen
t
er
p
a
ram_clear: add
support fo
r
BUF_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
param_lim
i
t: ignore BUF_CLEAR her
e
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
d
ereference
:
cr
e
ate a add_
d
ereference_hook() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
b
uf_clear: do a speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n Car
p
enter
kernel_user_
d
ata
:
use a param/
k
ey table
f
o
r
s
i
mple_strtoul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/kerne
l
.
return_fixe
s
: a
d
d deb
u
gfs_init
i
al
i
zed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Da
n
Carpe
n
ter
db/kerne
l
.
return_fixes:
a
dd
n
la_n
e
st_start_nofla
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
s
er_data: rem
o
ve xdr_
i
nli
n
e
_de
c
ode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_dat
a
:
clean up ho
w
s
s
canf is
h
andled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
C
arpenter
user_da
t
a: clean up how iov_iter_count is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
ent
e
r
point
s
_to_host_data: make
a
p
o
i
nt
e
r const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpent
e
r
user_d
a
ta/ptr: move things
from user_data to u
s
e
r
_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
r
p
enter
db
:
d
o
the c
a
ller_info s
t
uff
e
arlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan C
a
rpenter
db: fix r
e
turned inf
o
rm
a
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
struct_as
s
ignmen
t
:
m
ake the faked_expre
s
sion function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
p
e
nter
user_
d
ata
:
fix
a
n
is_new setti
n
g in handl
i
ng
a
s
signm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
kernel_user_data:
d
on't set *my
_
struc
t
to user dat
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Ca
r
p
e
nter
ker
n
e
l
_
user
_
data: i
g
nor
e
void types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
a
rpen
t
er
db/f
i
xup_kernel
.
sh: on
l
y
r
eco
r
d o
n
e
w
o
rk queue caller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Ca
r
pe
n
t
er
estate: poin
t
ers can't
h
ave a fuzzy max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
points_to_us
e
r_da
t
a: a
l
l c
a
lls to copy_from_
u
se
r
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpenter
struct
_
assignmen
t
: introduce create
_
recursive_fake_a
s
signmen
t
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an Carpenter
parse_call_math: store ==$0 even for k
n
own
v
al
u
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
hooks: save
the
c
ontainer
-
>owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
returns
_
n
e
ga
t
ive_e
r
ror_code: low posit
i
ves are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan C
a
r
p
enter
retur
n
s
_
neg
a
tive_er
r
or_code
:
empty st
a
tes are not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpent
e
r
points_t
o
_user_data: rename set_poi
n
t
s
_
to_user_data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan C
a
rpent
e
r
s
m_hash: export
s
tr_
t
o_llu_hash_helper()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpe
n
ter
smatch: don't i
n
clude "scop
e
.
h" for n
o
reason
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
Carpenter
f
low
:
pu
l
l parse_a
s
s
ignment() into its own
f
unct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpen
t
er
f
low: revert previous commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan C
a
r
penter
f
low: handle st
r
uct assign
m
ents later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpe
n
ter
points_to
_
us
e
r
_
data: handle
some pointer
math better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
a
n
Carpenter
po
i
n
ts_to_us
e
r_data:
c
ommunicate USER_PTR retur
n
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpe
n
ter
points_to_use
r
_data: hard code some ksmbd st
u
ff
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next