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
kernel.unreachable.turn_off: add some kunit stuff
2023-05-12
Dan Ca
r
penter
kernel
.
unreach
a
ble
.
t
u
rn_off: add som
e
k
u
nit s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Car
p
ente
r
preempt_info: add __bit_spin_unlock()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
check_list/err
_
ptr: register the err_ptr
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
debug/units: hook in the __
s
matc
h
_units() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
vali
d
a
t
i
o
n
/
sm
_
err_pt
r
: make IS_ERR
(
)
an
inline
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
d
er
e
ference: f
i
nd more c
r
os
s
function der
e
fer
e
nces
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
Carpe
n
ter
e
rr_pt
r
_
d
eref: re-w
r
ite the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
D
an C
a
rpe
n
ter
kernel
_
err_ptr: track error po
i
nters in
t
he da
t
a
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
pent
e
r
kernel
.
no
_
return_funcs:
upd
a
te t
o
the la
t
e
st linux
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-11
Dan
Carpenter
kern
e
l
.
n
o_
r
eturn
_
funcs: a
d
d kuni
t
_d
o
_faile
d
_assertion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
c
o
mparison: store modif
i
ed compariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
Car
p
enter
units: move checks
to
c
h
e
ck_ fi
l
e
and hide under the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
D
an Carpent
e
r
units/debug: add __sm
a
tch_units()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Dan
Ca
r
penter
units: de
l
ete
s
ome accidental code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
Carpent
e
r
units: make
u
nit
sta
t
es
global
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
penter
ma
c
ro_
t
able:
don't
store duplica
t
e ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpente
r
cap
p
ed
:
handle for loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
conditio
n
s: strip st
u
ff o
f
f a STMT_EXP
R
E
S
SION
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
expres
s
i
ons: *&foo is
j
u
s
t foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Da
n
Carpenter
kernel_user
_
data: take a shor
t
cut to s
p
eed
u
p empty
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
mtag: cr
e
a
t
e a reverse mapping fr
o
m mtag to sym
b
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Car
p
enter
pa
r
am_
l
im
i
t: improve printing
t
he
l
i
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
re
t
urns
:
d
elet
e
s
ome d
e
ad cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpen
t
er
db/u
n
tracke
d
_para
m
: mov
e
m
ar
k
_call_params
_
untracked(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
db: fix
s
q
l
_
in
s
ert_return_impli
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
D
an Carp
e
n
ter
d
e
re
f
erences_param: re-write sim
p
ler
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
imposs
i
bl
e
: don't mark returns
as imp
o
ssible if
threads
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-06
Da
n
Carpenter
s
truct_assignment: a
d
d copy_from_
u
se
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan
C
arpe
n
ter
lo
c
king: use
shared suc
c
ess_
f
ail
_
return() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpe
n
te
r
locking:
a
dd some more locking functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carp
e
nter
rosenbe
r
g: fix a segfaul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
D
an Carpenter
ker
n
e
l
.
u
n
consta
n
t_macros: add EXT4_MOUNT_DAX_ALW
A
YS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpe
n
ter
r
o
sen
b
erg:
fully initial
i
z
ing the struct do
e
s not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
rosenberg
:
rever
t
"
initializat
i
on and struct assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpente
r
locking: delete some NULL c
h
ecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Car
p
enter
lo
c
k
ing: add some m
o
re l
o
cking
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
bogus_a
d
dress_param
:
w
a
rn about p
a
ssing a bogus address
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
D
a
n Carpenter
u
nits: fix
t
he build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpent
e
r
chec
k
_
trinity: del
e
t
e
this c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpen
t
er
locking:
i
gnore false positives cause
d
by
perf_event_
e
n
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store what sort
of uni
t
s a variable is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carp
e
n
t
e
r
z
e
ro_to_err_ptr: add dev_err_probe()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Da
n
C
a
r
p
e
nter
free_s
t
r
i
c
t
:
a
dd s
o
c
k
_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
db/f
i
xup
_
ker
n
el
.
sh:
i
g
nore
param
l
imits from
_
_dev_printk()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
db/
f
ixup_ke
r
ne
l
.
sh: vfs_read/w
r
ite() are
t
h
e
only important
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
extra: revert the mod_expr changes for modify exp
r
essi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n
Ca
r
penter
extra: set no
l
i
mits mark_sub_members_gone(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
t
e
r
unwind: devm_add_action_or_reset() i
s
now a macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carp
e
n
t
er
unwind: separa
t
e path states out into a
d
iffe
r
e
nt c
h
eck
i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
pe
n
t
e
r
un
w
ind: ignore path s
t
ates in
pre
-
merge hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
C
a
r
p
enter
u
nwin
d
: don't warn abou
t
i
mp
o
s
s
ible
l
e
a
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpente
r
unwind: ignore componen
t
_matc
h
_
a
dd_re
l
ease() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Da
n
Carpenter
unwi
n
d: use t
h
e sha
r
ed success_fa
i
l_return()
functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: catch add
i
tional bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind: fix
a
bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpe
n
ter
unwind:
i
ntr
o
duce &unkno
w
n sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
D
an Carpenter
f
low: fix
MACRO_A
S
SIGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
D
an Carpenter
param_limit:
don'
t
store addresses as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Carpenter
hel
p
er: make s
t
ri
p
_expr() stri
p
out
"
+
0"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
D
an
Carp
e
nter
f
l
ow: only f
a
ke pa
r
am
e
ter ass
i
gnmen
t
s o
n
ce
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Carpenter
s
h
i
f
t_to_zero:
silen
c
e some w
a
rn
i
ngs inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan C
a
rpenter
db/cre
a
te_db
.
s
h
: verify that t
h
e info file exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
D
an Carpen
t
e
r
data
/
kernel
.
unconstant_macros: add ENQUEUE
_
MIGRA
T
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan
Carpe
n
ter
unwi
n
d:
don't warn a
b
out global
v
ariables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan Carpe
n
ter
flow:
d
on't
r
eparse inlines ove
r
a
nd over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
D
a
n Carpent
e
r
k
e
rnel
.
unconstant_macro
s
: add some pending stuff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
D
a
n Carpenter
debug: fix broken compile because of missing cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan
C
a
r
pe
n
t
er
deb
u
g: sk
i
p everythi
n
g except a given
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debu
g
: add __smatch_
s
ta
r
t/sto
p
_skip()
to ski
p
process
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
deb
u
g: make __
s
match_about
(
) handle
SSA states better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dereference: fix handling DERE
F
ERENCE
from t
h
e
da
t
aba
s
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Dan Carpenter
dereferenc
e
: only cou
n
t fo
o
->bar as a dere
f
ere
n
c
e
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carp
e
nter
data/kernel
.
ignore_unitiali
z
ed
_
param: add some
m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan
C
a
r
penter
pa
r
am_cle
a
r: add support f
o
r B
U
F_ADD
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Car
p
enter
param_li
m
it: i
g
nore BUF_CLEA
R
here as we
l
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
D
a
n
Carpenter
derefer
e
nce: create a add_derefer
e
n
ce_hook() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpente
r
buf_c
l
ear: do a speed up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
D
a
n
Carpenter
kerne
l
_user_data
:
u
s
e a p
a
ram/k
e
y table for s
i
mple_st
r
toul()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
d
b/
k
e
r
n
el
.
return_fixes: add debugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carp
e
nter
db/
k
e
r
nel
.
retu
r
n_
f
ixes: add nla_
n
e
st_start_noflag()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpe
n
t
e
r
user_da
t
a: re
m
o
ve
x
d
r_inline_dec
o
de()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
a
n
Carpenter
user_d
a
ta: clean up how
s
s
canf is han
d
led
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpen
t
e
r
user_dat
a
: clean up
h
ow iov_iter_count
i
s handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpe
n
ter
poi
n
ts_
t
o_host_dat
a
:
make
a pointe
r
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
user_d
a
ta/ptr: move things f
r
om user_data to user_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
db:
do the caller_info stuff earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
d
b
: fix
ret
u
r
ned information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpent
e
r
struct_
a
s
signment: make the
f
ake
d
_
ex
p
ression
f
unc
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpenter
user_da
t
a: fix an is_new setting in
h
a
ndlin
g
assignmen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
ente
r
k
e
rnel_user_data: don't
s
et *
m
y
_
str
u
ct to us
e
r data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpe
n
t
er
k
e
rne
l
_user_data: ignore v
o
i
d
t
y
pes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
an Carpen
t
er
d
b/fixup_kernel
.
sh:
o
nly r
e
co
r
d
one work queue c
a
ller
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Da
n
Carp
e
nter
e
s
tate: pointer
s
c
a
n
't have a
fuzzy
max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
Carpenter
points_t
o
_use
r
_data: all
calls to
c
opy_from_
u
ser()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan C
a
rpen
t
er
st
r
uct_as
s
ign
m
ent: introduce cr
e
ate_recur
s
ive_fake_ass
i
g
n
men
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n
Carpente
r
p
ars
e
_call_math: store ==$0
e
v
e
n
for known values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpen
t
er
hooks: s
a
ve the cont
a
i
n
er->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
an Carpente
r
returns_negative_error_
c
o
d
e
: low posit
i
ves are not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan
Carpenter
returns_n
e
gative_error_code:
empty states are not err
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan C
a
rpenter
points
_
to_user_data: rename
set_points_to_user_da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next