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
implied: try again in get_tf_stacks_from_pool()
2023-07-19
Dan Carpenter
struct_ass
i
gnment,points_to_us
e
r
_
d
ata: track arrays
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-13
Dan Ca
r
p
enter
db/kernel
.
r
eturn_
f
i
x
es: alphabetize t
h
e
file
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-13
Dan C
a
rpenter
k
erne
l
.
r
e
turn_fixes: de
v
m_drm_of_get_br
i
dge()
do
e
sn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-05
Dan Carpenter
impo
s
sible_compare: separate the impos
s
ib
l
e c
o
mp
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-03
D
a
n Carpente
r
bogus_lo
o
p: silence fal
s
e positives when ARRAY_SIZ
E
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-07-03
Dan
C
a
rpente
r
uns
i
gne
d
_
l
t
_
z
er
o
:
don't warn
a
bout "if
(foo < ARR
A
Y
_
SIZE
(
))"
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-30
Dan Carpenter
kernel_printf: silence warnings
about %02X
w
i
th sig
n
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
capp
e
d: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carp
e
nte
r
db
:
move an
a
ssignment outside the loop
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
D
an C
a
rpe
n
ter
extra:
fak
e
ass
i
g
n
ments
for PA
R
AM_SET data
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
fu
n
c
tion_hooks: m
a
rk par
a
m
s untracke
d
if
t
h
e
r
e
is
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Da
n
Carpenter
sm
a
tch_implied: del
e
te some dead code i
n
handl
e
_zero_comp
a
r
i
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan
Car
p
e
nter
para
m
_cleared:
don'
t
record nes
t
ed structs as BU
F
_
CLEAR
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
ra
n
ges: handle IMPOSSIBLE_C
O
MPAR
I
SON
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
flow: in
t
roduc
e
sh
a
llow ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
cond
i
tions
:
fix handli
n
g
of "
f
oo
=
bar
?
:
baz;"
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpente
r
flow:
a
dd a comm
e
nt to h
a
ndle__b
u
ilt
i
n_choose_expr_assigns()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
struct_assig
n
men
t
: delete
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
struct
_
ass
i
gnment:
d
on't trac
k
stuff that w
e
don't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
s
t
ruct_assignme
n
t:
u
se
B
UF_ADD instead
of PARAM_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
s
t
ruct_a
s
signment: add my_id vari
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
struct_a
s
si
g
nment: add memcpy_fromio()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpen
t
er
flow: add su
p
por
t
for
_
_cle
a
n
up__
fu
n
ctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carp
e
nter
parse: han
d
le __
c
l
e
anup__ att
r
i
bute
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
D
an Carpen
t
er
k
e
rnel_netdev_priv: tr
a
ck netdev priv data
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Carpenter
p
ar
a
m_limit: update
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-27
Dan Ca
r
penter
par
a
m_k
e
y: rem
o
v
e
some
b
o
gus warning mes
s
ages
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-23
Dan C
a
rpen
t
er
function_hooks: prevent a c
r
ashing bug parsing fake
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-19
Dan Carpenter
type: sup
p
ort __auto_type
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpenter
db/fixup_kernel
.
sh: delete
kfree
(
)
p
oison informatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
Dan Carpenter
ker
n
el: handle with_
i
n
tel_r
u
n
t
im
e
_pm() macros better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-14
D
a
n Carpenter
flow: h
a
ndle
declarations inside for loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan
Carpenter
st
r
l
en: handl
e
str
c
hr()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
D
an Carpenter
s
t
rlen:
store strlen
i
nformation as a range
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
strlen: handle
p
++
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan C
a
r
penter
s
trlen: small cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
D
an
C
arpenter
deref
_
che
c
k: w
a
rn about dereferenc
e
s
b
e
fo
r
e an IS_ER
R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
der
e
f_check: use
a
dd_dereference_h
o
o
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpen
t
er
unit
s
:
h
andle th
e
sit
u
ation whe
r
e it an ar
r
ay of byte
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpenter
points_t
o
_user_d
a
ta: upd
a
te with some n
t
f
s
user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan Carpent
e
r
db/reload_partial
.
sh: update to handle h
a
shed files
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-12
Dan
Car
p
enter
d
b/fi
l
l_d
b
_caller_info
.
pl: fix "too common fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-06-07
Dan Carpe
n
t
e
r
u
n
s
i
gned_lt_zero: re-
w
rite this
check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-31
Dan Carpente
r
der
e
f
er
e
n
c
e: fix
a crash
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-23
Dan Car
p
enter
scripts/generisize
.
pl: ha
n
dle "potentially tagged address
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
D
a
n Car
p
en
t
e
r
der
e
f
erence:
fix some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
Dan Carpen
t
er
r
e
turns_neg
a
tive_error_code: silen
c
e some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-19
Da
n
Carpent
e
r
dereference:
h
ard code
nla_data() as derefe
r
encing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-18
D
a
n
Carpe
n
ter
chec
k
ing_for_
n
u
l
l_instead
_
of_err_ptr: add list of unt
r
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan C
a
rp
e
nter
che
c
ki
n
g_fo
r
_nu
l
l
_instead_o
f
_
err_ptr:
use
s
m
a
t
ch_kernel_err_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-17
Dan
Car
p
enter
ke
r
nel
_
er
r
_ptr
:
hack around
f
or_
e
ach_
g
pio
_
d
esc_wi
t
h_flag()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-15
D
a
n C
a
r
p
e
n
t
er
s
c
ripts/g
e
nerisize
.
pl: gene
r
isize
function names
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-12
Dan Carpenter
kerne
l
.
unreac
h
able
.
tur
n
_off: add some kunit stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpenter
preem
p
t
_info: add __
b
it_s
p
in_
u
n
l
ock()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan C
a
rpente
r
c
h
eck
_
list/er
r
_ptr
:
register the er
r
_ptr code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Ca
r
penter
debu
g
/
u
nits: ho
o
k in the __smatch_units() co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpen
t
er
valid
a
tion/sm
_
e
rr_ptr: m
a
ke
I
S_ERR() an inline
func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
a
n Carpe
n
ter
dereference: f
i
nd mor
e
cros
s
funct
i
o
n
derefere
n
ces
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carpenter
err_
p
tr_deref
:
re
-
write t
h
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Dan Carp
e
nter
kerne
l
_err_p
t
r:
t
rack e
r
ror poin
t
ers in the d
a
tabas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
D
an Carpe
n
t
er
kernel
.
no_return_funcs:
up
d
ate to the
l
atest linux
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-11
Da
n
C
a
rpenter
kernel
.
no_return_funcs: add kun
i
t_do_f
a
il
e
d
_
a
s
s
e
rtion()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carp
e
n
t
er
comparison:
store modified comparison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Da
n
C
arpenter
units: m
o
ve checks
t
o c
h
e
c
k_ fil
e
and hid
e
under the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units/
d
ebug: ad
d
__smat
c
h_units()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
Dan Carpenter
units
:
dele
t
e some accidental code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-10
D
an
C
a
rpenter
units: mak
e
uni
t
stat
e
s
global
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Ca
r
p
e
nter
macro_table: don't store dupli
c
ate mac
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
Carpenter
cap
p
ed: handle
for loops better
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
conditions
:
strip stuff of
f
a STM
T
_EXPRE
S
SION
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
an
Ca
r
pent
e
r
exp
r
essions: *&foo is just foo
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
kernel_user_d
a
ta: take a
s
hort cut to spe
e
d up empty
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
an
Ca
r
penter
mtag: creat
e
a reverse mappi
n
g from mt
a
g to
sym
b
ol
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan
C
arpenter
pa
r
am_
l
imit
:
improve printing the limit
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carpenter
returns
:
d
e
l
ete some dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan C
a
rpenter
db/untracked_param:
move mark_cal
l
_params
_
u
ntra
c
ked()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
Dan Carp
e
nter
db: fi
x
sql_insert_
r
eturn_implie
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n
Carpenter
derefe
r
ences_param: re
-
w
r
ite simpler
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-08
D
a
n Car
p
e
n
ter
impossi
b
le: d
o
n'
t
mark returns a
s
impos
s
i
b
l
e
i
f threads
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-06
Dan Carpente
r
struct_a
s
si
g
nment: add
c
opy_from_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
Dan Carpenter
locking
:
use shared success_f
a
il
_
return() function
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-05
D
a
n Carp
e
nter
locking: add s
o
me more l
o
cking functions
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
D
an C
a
r
p
enter
r
o
senberg: fix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-04
D
a
n
Carpenter
ker
n
e
l
.
uncons
t
a
nt_macros: add EXT4
_
MOUNT_DAX_A
L
WAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
r
o
senberg: fully initializing the str
u
ct
d
oes not clear
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Carpenter
rosenberg:
re
v
ert "initializat
i
o
n
an
d
str
u
ct assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpent
e
r
loc
k
ing: delet
e
s
o
me
N
U
LL checks
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan
Carpenter
lock
i
ng: add some more locking fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-03
Dan Ca
r
pe
n
t
er
b
o
gus_address_param
:
w
a
rn a
b
ou
t
pass
i
ng a bogus
add
r
ess
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Dan Carpenter
u
nits:
fix
the build
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-05-02
Da
n
C
a
rpenter
c
heck_trinity: delete this code
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-20
Dan Carpent
e
r
l
o
cking: ignor
e
false po
s
itive
s
cau
s
e
d
by
p
erf_event
_
enable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree
2023-04-19
Dan Carpenter
units: store
wha
t
sort
o
f units
a
variable is in
Signed-off-by: Dan Carpenter <
dan.carpenter@linaro.org
>
commit
|
commitdiff
|
tree