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
locking: use shared success_fail_return() function
2023-05-05
D
a
n C
a
rpenter
locking: use
share
d
succe
s
s_fail_retur
n
(
)
fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpente
r
l
o
cking
:
add some mo
r
e lockin
g
fu
n
ct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Ca
r
pe
n
t
er
r
osen
b
erg: fix
a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-04
Dan Carpente
r
kernel
.
unconstant_macros: add EXT4_MOUNT_DAX_ALW
A
YS
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Ca
r
p
e
nt
e
r
rose
n
berg: fully ini
t
ializi
n
g the str
u
ct
does not clear
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan C
a
rpenter
ros
e
nberg: rever
t
"
i
n
i
ti
a
lizati
o
n and stru
c
t
ass
i
gnments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: de
l
ete some NULL checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
locking: add some more locking f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-03
Da
n
Carpente
r
bogus_address_param:
war
n
about
passin
g
a bogu
s
addre
s
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan C
a
rpenter
units: fix the build
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpen
t
er
c
h
eck_trinity
:
delete this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-20
Da
n
Carpenter
lock
i
ng: ign
o
r
e
false
p
ositive
s
cause
d
b
y
perf_
e
vent_enable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carp
e
nter
units:
s
to
r
e what sort of uni
t
s a variab
l
e is in
Signed-off-by:
Dan Carpenter
<dan.carpenter@linaro.org>
commit
|
commitdiff
|
tree
2023-04-19
D
a
n Carpente
r
zero_to_e
r
r_ptr
:
add
dev_err_probe
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-13
Dan Carpenter
free_strict: add sock_release()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
db/fi
x
up_kern
e
l
.
s
h: i
g
nore pa
r
am
l
i
m
i
ts
fro
m
_
_
dev_
p
ri
n
t
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
pente
r
db/fixup_k
e
rnel
.
sh: vfs
_
r
ead/wr
i
te
(
)
a
re the on
l
y impor
t
ant
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
extra: re
v
er
t
th
e
m
o
d_expr changes fo
r
modify expr
e
s
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
r
penter
extra:
s
et
n
o
limits mark_sub_members_gon
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Carpenter
unwind
:
de
v
m_add_
a
ction_or
_
reset() is no
w
a
m
ac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an
C
arpenter
unwind: separate
p
ath
states out
i
n
t
o
a different c
h
e
c
k
id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
unwind: ignore p
a
th
s
t
ates
i
n
pre-merg
e
hook
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
a
n C
a
rpenter
u
nwind: don't w
a
r
n about
i
m
p
ossible leaks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
Carpenter
unwind: ignore component_match_add_release() paths
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan Ca
r
penter
un
w
ind:
u
s
e the shared
success
_
fail_return
(
) function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan
C
a
rpenter
unwi
n
d
:
catc
h
addit
i
onal bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
Dan C
a
rpenter
unw
i
nd: fix a bug with SSA
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-06
D
an
Car
p
enter
u
nwind: i
n
t
r
oduce &unknown state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-04
Dan Carpenter
f
low: fix MACRO_ASSIG
N
M
E
N
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-04-03
Dan C
a
rpenter
param_limi
t
: don't
s
tor
e
addresse
s
as PARAM_LIMIT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Carpent
e
r
helper: make strip_expr
(
) str
i
p out "+ 0
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Da
n
Carpenter
flow: onl
y
fake
p
a
rameter a
s
signm
e
nts once
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan Car
p
enter
sh
i
ft_to_zero: sile
n
ce some warn
i
ngs inside macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-28
Dan
C
a
r
p
enter
db/create_db
.
sh:
verify
that the
info fi
l
e exists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-27
D
an Ca
r
p
enter
data/ker
n
el
.
u
n
c
o
n
s
tant_macros:
a
dd ENQUEUE_MIGRATED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-25
Dan Car
p
enter
u
n
wind: do
n
't warn a
b
out
g
lobal variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-24
Dan
C
arpenter
flow: don't repa
r
s
e i
n
lin
e
s
over
a
nd
over
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Dan Carpenter
kernel
.
unconstant_macros:
a
dd so
m
e pen
d
i
ng stuf
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Car
p
enter
debug
:
fix broken compi
l
e because of missin
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carpenter
debug
:
skip everything except a
given function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan Carp
e
nter
debug: add __smatch_start/stop_
s
kip
(
) to skip processing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-15
Dan C
a
rpenter
debug: make __smatc
h
_about() handle SSA s
t
ates better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Carpenter
dere
f
ere
n
ce
:
fix h
a
n
d
l
i
n
g DEREFE
R
ENCE fr
o
m the database
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-11
Da
n
Ca
r
penter
dereference: on
l
y
count
f
o
o
->bar a
s
a d
e
r
e
f
erence n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpen
t
er
d
ata/ker
n
el
.
ignore_unitiali
z
e
d
_param:
a
d
d some more
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-09
Dan Carpenter
param_cl
e
a
r
: add
support
f
or BUF_AD
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
p
aram_limit: ignore BUF_CLEAR here as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpen
t
er
dereference: create a add_deref
e
renc
e
_ho
o
k() fun
c
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-08
Dan Carpenter
buf_clear: do a
s
pe
e
d up
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
kernel
_
user_d
a
ta:
use a par
a
m/ke
y
table for simple_strtoul(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpenter
db/kernel
.
r
e
tur
n
_
f
ixe
s
: add de
b
ugfs_initialized
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Dan Carpente
r
db/kernel
.
return_fixes: add nla_nest_start
_
no
f
lag
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
ser_data
:
remove
x
dr_inline_decode()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpenter
u
s
er
_
data
:
clean up how s
s
ca
n
f
is handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
ente
r
user
_
d
ata: c
l
ean up how iov_iter_count i
s
handled
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
D
an Carpenter
poi
n
t
s
_to_host_da
t
a:
make a
p
ointer con
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan
Carpe
n
t
e
r
user_data/ptr: move things from user_da
t
a to
u
ser_ptr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
enter
db: do the caller_info
s
tuff earl
i
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Carpe
n
ter
db:
f
ix r
e
t
u
rned
i
n
f
ormation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Dan Car
p
ente
r
struct_
a
s
s
ignment: make the faked_express
i
on function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpent
e
r
user_data:
f
ix an is_new
sett
i
ng in handl
i
ng assignm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n C
a
r
pe
n
ter
k
ernel_u
s
er_da
t
a:
d
on't set *my_str
u
ct to user data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
D
a
n Carpent
e
r
k
e
rnel_u
s
er_data: igno
r
e
void
t
ypes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
C
arpen
t
er
db/fixup_
k
er
n
e
l
.
s
h
: only
r
ecor
d
one work queue cal
l
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Car
p
enter
estate: pointers
can't ha
v
e a
fuzzy
max
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan Carpent
e
r
points_to_user_data: all
calls to copy_from_user()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-03-02
Dan
Car
p
e
n
ter
str
u
ct_as
s
i
gnment: introduce
c
r
eat
e
_recursive
_
fake
_
assignme
n
ts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
parse_cal
l
_
m
ath
:
store ==$0 even for known values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Da
n
C
a
r
penter
h
ook
s
: save th
e
container->owner
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
D
a
n Carpenter
returns_negat
i
v
e_error_code:
low positive
s
a
re
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Carpenter
retur
n
s_negative_error_code: empty states ar
e
not error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-28
Dan Ca
r
pent
e
r
poi
n
ts
_
to_user_data: r
e
name set_point
s
_
to
_
user_
d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan
C
a
rpen
t
e
r
sm_hash:
export str_to_l
l
u_hash_help
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carp
e
nter
sma
t
ch: don't
i
n
c
l
u
de "
s
co
p
e
.
h" for no
r
e
a
son
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-27
Dan Carpent
e
r
flow: pull parse_assignme
n
t() into its own function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow: re
v
ert previous comm
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
flow
:
handle s
t
ruct
a
ssignments later
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
D
an Carpenter
points_to_
u
se
r
_data:
h
an
d
l
e
so
m
e pointer
math
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-24
Dan Carpenter
po
i
nts_to_user
_
data
:
communicate USER_P
T
R re
t
urn
s
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Da
n
Ca
r
p
e
nter
points_to_user_
d
ata:
har
d
c
o
de s
o
me ksmb
d
stuff as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpenter
function_hooks
:
do earl
y
stuff
e
ven earlier
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan
C
arpent
e
r
f
unc
t
i
o
n
_hoo
k
s: don't call db_
r
eturn_states() e
a
rly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-23
Dan Carpent
e
r
fu
n
ct
i
o
n
_hooks: introduce earl
y
add_function_hook_e
a
rly()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
a
n Carpenter
u
n
reachable:
c
hange int to bool
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
Dan
Ca
r
penter
unreachable: delet
e
an extra space
character
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-22
D
an Carpenter
u
n
reach
a
ble: ig
n
ore all fo
r
_XXX macros
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan
Carpent
e
r
expressions: make gen_exp
r
ession_from_ke
y
()
handle
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-15
Dan Car
p
enter
e
x
pre
s
sions: m
a
k
e gen_expr_f
r
om_p
a
ram_key() w
o
rk for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-09
Dan Carpenter
sle
e
ping in atomic: si
l
ence some duplicat
e
warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
db
/
kernel
.
ret
u
rn_fi
x
es:
update no
t
ifier_to_errno()
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Ca
r
penter
db/smdb
.
py: u
p
d
ate the type strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Da
n
Carpen
t
er
k
ernel
.
unreachable
.
ignore: add damon_for_each_target
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n Carpent
e
r
expression
s
: a
d
d
cast_expression(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpen
t
e
r
expre
s
sions: fix a -
>
vs
.
b
ug in
g
en_e
x
pre
s
s
i
on_fr
o
m_key
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
D
a
n
C
arpen
t
er
extra: pass a
di
f
f
erent mod_expr f
o
r va
n
illa assignme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
a
rpenter
buf_comparison: add
s
u
pport for stru
c
t
_size() array
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpen
t
er
hooks: com
m
it some m
i
s
s
ing bits
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan Carpenter
h
e
lper: 0-s32max retur
n
s are
s
uc
c
e
ss
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
Carpente
r
helper: add
a
st
r
i
p_parens() in get_member_name()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2023-02-08
Dan
C
arpenter
kernel_host_data: i
g
n
o
re n
o
nsense
informati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next