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
extra: fix some type bugs handling loops
2019-03-05
Dan Ca
r
penter
extra: fix some type bugs
h
a
ndling loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Da
n
Ca
r
p
ent
e
r
return_cast: fix this c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
an Carpenter
implied:
f
i
x
a
bug handl
i
ng partial
i
mplic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpent
e
r
i
m
p
l
ied: fix a bug handling partial impl
i
catio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
arpenter
imp
l
ied:
fix
a debug
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Ca
r
penter
ker
n
el: ignore lockdep inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Da
n
C
a
rpenter
states
:
prevent some no
n
ame
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
a
n Car
p
enter
slist: tweak how O
O
M is hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpente
r
m
a
t
h: alw
a
ys
t
ry look u
p
if
it'
s
a fixed constant v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan C
a
rpenter
i
mplied:
add
-
>skip_impl
i
cations back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
ar
p
enter
m
a
th:
int
r
oduce get_rl_
h
elper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Ca
r
pe
n
ter
ma
t
h:
r
ename get_rl_helper() to get_rl_int
e
rnal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
e
nte
r
math: remove
some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpen
t
er
m
a
t
h
: fi
x
a
b
u
g
gettin
g
the "exac
t
" address of a s
t
ring
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pen
t
er
implied: clean up filter_stack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied
:
rename "incomplete" to "bail"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
a
r
penter
implied: delet
e
->
s
kip_imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
impli
e
d: de
l
et
e
->nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rp
e
nter
implie
d
:
very mes
s
y
r
e-wri
t
e of how t
o
bail if imp
l
i
c
atio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
pre
c
edence: ad
d
a warning for "foo
& ba
r
> baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
k
e
rnel_user_data: fix a
t
ype issue
in
s
et_points_to_
u
ser_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ker
n
el_user_data: ha
n
d
le
functions
t
hat return a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
en
t
er
kern
e
l_user_
d
ata: hand
l
e struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
val
i
d
a
tion: update
t
ests to refle
c
t
code
c
hang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
vali
d
ation
/
sm
_
s
e
lect5
.
c
: update valid
a
tion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
math: fix
a type is
s
ue wi
t
h point
e
r
s
u
btracti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carp
e
nter
d
b
: fix passing caller info for frob(&foo)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
ent
e
r
parse_call_math: fix inline validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpenter
f
unct
i
on
_
hooks: fix a type issue in return
_
i
mplies_
s
t
a
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: remove d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
buf_size: fix ha
n
dling of end of struc
t
array
s
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
l
o
c
king: make
ret_non_zero r
a
nge
from 1-s32ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpenter
locki
n
g:
a
dd
s
ome mor
e
locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
e
nter
smatch: add s
o
me
s
tri
n
g literals to snp
r
intf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
spectre:
check for secon
d
halv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
user_
d
ata: fix a cra
s
hing bu
g
o
n
inv
a
li
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpent
e
r
zero_to_err
_
ptr: fix
f
all out from un
s
i
g
ned
p
ointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
e
n
ter
u
s
er_data
:
handle capped dat
a
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/k
e
rnel
.
return_fixes: f
i
x _
_
sock_create() a
n
d
w
ai
t
_for_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
d
b
/fixup_kernel
.
s
h: ig
n
ore RI
O
_BAD
_
SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpenter
sm
a
tch_data/kernel: add
s
ome mo
r
e ignored
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch_data/ker
n
el
.
n
o_return_funcs
.
a
d
d Add YY_FATAL_E
R
ROR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/delete_too_common_
f
n_ptr
.
sh: delete some comm
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpent
e
r
m
em_
t
rac
k
er
:
use /p
r
o
c/self/st
a
tm
for o
u
t
_of_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
imaginary_ab
s
olute:
i
g
nore loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
flow: fix valid_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
sm
a
tch: a
l
ways print t
h
e
ti
m
e: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
slis
t
: do a small speedup in cmp_pos
s
ible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arp
e
nter
slist: reve
r
se the o
r
d
e
r of
t
he s
t
r
ees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
address
:
im
p
rove
g
e
t_address() for str
u
ct m
e
mb
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
addre
s
s: many
array
address
e
s can be marked as valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
address: get_member_offse
t
_fro
m
_deref
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: move
more
s
tuff to get_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
enter
st
r
i
n
g_list
:
m
a
ke insert
_
stri
n
g() return false
if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: call
s
trc
m
p
(
)
o
nce
i
ns
t
ead
o
f twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n
Carp
e
nter
m
ath: don't allocate the range_list if
n
ot nec
e
s
s
ary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math
:
rena
m
e _get_
r
l() => get_rl_h
e
l
p
er(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carp
e
nter
implied:
bail ear
l
ier on parsing parameter limitation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carp
e
n
ter
math: r
e
-write _g
e
t
_
s
val
(
) to
p
as
s
the resu
l
ts as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan
C
arpe
n
ter
sl
i
st
:
s
p
e
ed
up add_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan C
a
r
penter
slist: a point
e
r is equal to
itsel
f
in cmp_possi
b
le_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Car
p
en
t
er
l
o
c
king: spin_tr
y
lock() ret
u
r
n
s 1 on
s
uccess
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: speed
u
p cop
y
_
p
ossibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
an Carpent
e
r
sl
i
st
:
rename cmp_sm_states() to cmp_po
s
s
ib
l
e_sm
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpente
r
a
d
dress:
i
mprove handling of __s
m
atch_implied(&foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
pen
t
er
nospec
:
us
e
stat
e
ment count to
mar
k
thing
s
as nos
p
ec
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
pen
t
er
nospec: preempt_
d
isable() stops speculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
an
C
arpenter
buf_size:
improve calloc() handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
smdb
.
py: parse ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
off_
b
y
_on
e
_
rela
t
i
ve: remove some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n C
a
rpenter
extra: in PARA
M
_LIMIT/F
I
L
E
R then
set bo
t
h the nam
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpe
n
t
er
zero_to_err_ptr:
don
'
t warn
o
n impos
s
ible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Da
n
Ca
r
penter
e
sta
t
e: del
e
te estate_
f
ilter_r
a
n
ge/sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
kernel: fix type
b
u
g
ha
n
d
l
e
I
S
_ERR
(
) and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
D
an Carpenter
db:
d
on't pretend to deref
e
rence
i
ntegers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan
Ca
r
penter
testin
g
_i
n
dex_
a
ft
e
r
_
use: re
m
ove
de
b
ug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n
Carpenter
c
apped: don't set
c
apped
f
or known values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Carpenter
e
x
tra:
t
weak ha
r
d max in conditio
n
s a
n
d mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpent
e
r
extra:
p
ass ha
r
d max acr
o
ss function boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
db: s
p
lit zero and non-zero returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Carp
e
n
ter
implied: remo
v
e
some d
e
ad
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
implied: re
m
ove a
n
on
s
ense limit
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
tes
t
i
n
g_
i
n
dex_after_use:
silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
t
e
r
implied:
remove the
-
-
debug-im
p
li
e
d
op
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
states: fix a
b
ug ha
n
dling negate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
eq
u
i
v
: u
p
da
t
e "othe
r
" names a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpe
n
t
er
buf_compariso
n
:
r
e
-
write to be mo
r
e flexible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/kernel
.
r
e
t
urn_fixes: add
s
o
me
m
ore return fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
an Car
p
enter
db/vim_
d
b:
d
o
n't complain when the file is
n
o
t
found
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpenter
db/create_db
.
s
h
: don't complain when
-p=<proj
e
ct> is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
d
b
/
fixup_k
e
rnel
.
sh: fix u
p
stuff from
t
h
e
unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
valida
t
ion
:
update
a
f
ew
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
a
r
p
ente
r
typ
e
:
c
o
m
mit some
missing pieces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
extra: small speed
u
p
i
n se
t
_
p
aram_hard_max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
help
e
r
:
f
i
x e
x
pr_to
_
chunk_helper() for struct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpente
r
comparis
o
n: print a
"
%s"
string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
en
t
er
c
o
n
s
t
rai
n
t
s
: remove d
e
b
u
gg
i
ng and use the stripped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
r
pe
n
ter
d
b: improve
recording c
o
mpari
s
ons
to para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpen
t
er
implied: remov
e
some dupl
i
cate
debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
re
a
l_absol
u
t
e:
d
on't st
o
re
d
ata for
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next